@techreport{weko_22022_1, author = "大崎,敦司 and 石原,靖哲 and 関,浩之 and 嵩,忠雄", title = "自然語仕様から代数的仕様への変換における表現式の構文規則の生成", year = "1994", institution = "大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 奈良先端科学技術大学院大学情報科学研究科, 奈良先端科学技術大学院大学情報科学研究科", number = "6(1993-SE-096)", month = "jan" }