共立出版，
プログラミング言語 Standard ML 入門
．
岩波書店，コンピュータサイエンス入門，「アルゴリズムとプログラミング言語」，大堀 淳，ジャック ガリグ（雅利賀 惹玖） ，西村 進（著），ISBN: 4000050060，（
まえがき，目次 pdfファイル
）
共立出版，情報数学講座９，「プログラミング言語の基礎理論」，大堀 淳（著），ISBN: 4320026594，（
まえがき，目次，第１章 pdfファイル
）
大堀 淳 (Atsushi Ohori) / 〒980-8577 仙台市青葉区片平２ー１ー１ 電気通信研究所 / 居室 1号館 S401 / ohori at riec dot tohoku dot ac dot jp / Tel: 022 217-5510 / FAX: 022 217-5513