@inproceedings{weko_120540_1, author = "大場,克彦 and 金戸,孝夫", title = "形式的仕様の木構造表現", booktitle = "全国大会講演論文集", year = "1991", volume = "第42回", number = "ソフトウェア工学", pages = "189--190", month = "feb" }