@techreport{weko_21592_1,
   author	 = "地平,稔 and 池田,瑞穂 and 高田,喜朗 and 関,浩之",
   title	 = "インタラクティブシステムの設計におけるタスクの形式的記述とその実現",
   year 	 = "2000",
   institution	 = "奈良先端科学技術大学院大学情報科学研究科, 奈良先端科学技術大学院大学情報科学研究科, 奈良先端科学技術大学院大学情報科学研究科, 奈良先端科学技術大学院大学情報科学研究科",
   number	 = "4(1999-SE-125)",
   month	 = "jan"
}