@techreport{weko_22206_1, author = "来間啓伸 and 大槻,繁", title = "集合に基づく形式的言語を使ったソフトウェア仕様の記述形態について", year = "1992", institution = "(株)日立製作所システム開発研究所, (株)日立製作所システム開発研究所", number = "10(1991-SE-083)", month = "feb" }