稲垣康善
『オートマトン・形式言語理論と計算論』(福村晃夫と共著)岩波書店 1982年
『コミュニケーションとコンピュテーション』岩波書店 2003年