@techreport{weko_33642_1,
   author	 = "高田司郎 and 田口研治 and 城和貴 and 福田晃",
   title	 = "リリース・コンシステンシ・モデルとその実現の形式的仕様記述について",
   year 	 = "1998",
   institution	 = "奈良先端科学技術大学院大学／けいはんな, 九州大学大学院システム情報科学研究科, 和歌山大学システム工学部, 奈良先端科学技術大学院大学",
   number	 = "105(1998-MPS-022)",
   month	 = "nov"
}