@techreport{weko_22387_1, author = "林,潔 and 西園,敏弘", title = "通信ソフトウェア仕様における制約指向記述の適用法", year = "1989", institution = "ATR通信システム研究所, ATR通信システム研究所", number = "11(1988-SE-064)", month = "feb" }