屋内理紀夫
並行プロセス記述言語 occam(5)
1985年02月号