高橋薫
プロセス代数とその応用⑨ LOTOS――実用指向のプロセス代数(基礎編)
1992年06月号
プロセス代数とその応用⑩ LOTOS――実用指向のプロセス代数(応用編)
1992年07月号