二木厚吉
新しいプログラミング・パラダイム⑪ 抽象データ型とOBJ2
1988年09月号
プロセス代数とその応用① 形式仕様とプロセス代数
1991年10月号
プロセス代数とその応用⑩ LOTOS――実用指向のプロセス代数(応用編)
1992年07月号
プロセス代数とその応用(完) まとめと触れこぼし
1992年08月号