D.S.Scott
1976年ACMチューリング賞記念講演 論理学とプログラミング
1978年09月号