@techreport{weko_30909_1, author = "布川,博士 and 野口,正一", title = "プロセス間でのメッセージ交換を用いた項書き換え系のリダクション", year = "1990", institution = "東北大学電気通信研究所, 東北大学電気通信研究所", number = "11(1989-PRO-024)", month = "feb" }