@techreport{weko_22224_1, author = "鈴木,英明 and 高橋,直久", title = "プロセス分解代数に基づくデータフロー図の段階的詳細化について", year = "1991", institution = "NTTソフトウェア研究所, NTTソフトウェア研究所", number = "106(1991-SE-082)", month = "dec" }