@techreport{weko_21968_1,
   author	 = "石原,靖哲 and 関,浩之 and 嵩,忠雄",
   title	 = "LOTOS風言語の代数的意味定義とその応用",
   year 	 = "1994",
   institution	 = "奈良先端科学技術大学院大学情報科学研究科, 奈良先端科学技術大学院大学情報科学研究科, 奈良先端科学技術大学院大学情報科学研究科",
   number	 = "55(1994-SE-099)",
   month	 = "jul"
}