「プログラム意味論」, 横内寛文, 共立出版, 1994
「情報科学における論理」, 小野寛晰, 日本評論社, 1994
「計算論」, 高橋正子, 近代科学社, 1991