@techreport{weko_30790_1, author = "堀田,英一", title = "通信プロセスの弱線型意味論に対する完全抽象合成的モデル", year = "1991", institution = "NTTソフトウェア研究所", number = "19(1990-PRO-028)", month = "mar" }