@techreport{weko_35662_1, author = "郷健太郎 and 白鳥,則郎", title = "構造を持ったプロセス仕様の分割法", year = "1995", institution = "東北大学電気通信研究所/情報科学研究科, 東北大学電気通信研究所/情報科学研究科", number = "53(1995-DPS-070)", month = "may" }