有川節夫
PL/I入門 朝倉書店 1971(プログラミング演習シリーズ)
オートマトンと計算可能性 宮野悟共著 培風館 1986.9(情報処理シリーズ)
述語論理と論理プログラミング 原口誠共著 オーム社 1988.5(知識工学講座)