@techreport{weko_21453_1,
   author	 = "池田,瑞穂 and 中村,岳志 and 高田,喜朗 and 関,浩之",
   title	 = "ユーザインタフェースの代数的仕様記述と仕様からのプログラム生成",
   year 	 = "2001",
   institution	 = "奈良先端科学技術大学院大学情報科学研究科, 奈良先端科学技術大学院大学情報科学研究科, 奈良先端科学技術大学院大学情報科学研究科, 奈良先端科学技術大学院大学情報科学研究科",
   number	 = "114(2001-SE-135)",
   month	 = "nov"
}