虎門三十二
プログラムの理論へ② 正しいプログラム
1970年08月号
プログラムの理論へ(完) 計算の複雑さ
1970年09月号