神長裕明 - 共立出版コンピュータサイエンス誌『bit』

神長裕明

プロセス代数とその応用⑧ 等価性判定法 1992年05月号