斉藤信男
ソフトウェアの基礎理論① プログラムの形式化――プログラムのモデルであるプログラム形を考え，その性質を定義する
1972年09月号
ソフトウェアの基礎理論② プログラムの性質の証明――いろいろな帰納法と述語論理を利用してプログラムの性質を証明しよう
1972年10月号
ソフトウェアの基礎理論③ 決定性並列プログラムのモデル――並列プログラム形を考え，決定性並列プログラムのモデルを紹介する
1972年11月号
ソフトウェアの基礎理論④ 非決定性並列プログラムのモデル――OSに現われる非決定性並列プログラムを記述できるモデルを紹介する
1972年12月号
ソフトウェアの基礎理論⑤――OSの形式化の例―資源割当て問題――デッドロックの静的および動的防止法のアルゴリズムについて紹介する
1973年01月号
ソフトウェアの基礎理論(完) プログラムの構成――正しいプログラムを作製する際に役立つ良い方法はないのだろうか
1973年02月号
Ada早わかり(3)
1981年03月号