Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
鈴木 英明 and 高橋 直久,プロセス分解代数に基づく要求分析過程の定式化,NTT R & D,09152326,東京 : 電気通信協会,1993-08,42,8,p987-996,https://cir.nii.ac.jp/crid/1520573329985776256,