中島玲二
1976年ACMチューリング賞記念講演 論理学とプログラミング
1978年09月号
プログラム検証入門(1) プログラムの正しさを証明すること;正しいプログラムしか書かないこと;正しさの証明をしやすいようにプログラムを書くこと
1980年09月号
プログラム検証入門(2) 自動検証はなぜ困難が，プログラム意味論とは
1980年10月号
プログラム検証入門(3) スコットの表示的意味論瞥見
1980年11月号
プログラム検証入門(完) 構造的プログラミングとの恋愛，「検証はプログラムの正しさを保障しない」か?
1980年12月号
座談会 バーストール教授を囲んで
1985年08月号
日本のソフトウェア研究を衰亡させるために (小)悪魔の提言
1987年08月号