稲垣康善
Erwin Engeler著『計算の理論入門』日本コンピュータ協会 1976年