A.S. Troelstra, H. Schwichtenberg ; : pbk. -- 2nd ed. -- Cambridge University Press, 2000. -- (Cambridge tracts in theoretical computer science ; 43). -- 巻号等：: pbk<図書>

三時眞貴子, 河合隆平編. -- 昭和堂, 2026. -- (叢書・比較教育社会史).<図書>

吉村武彦編. -- 八木書店出版部, 2026.<図書>