@techreport{weko_35964_1,
   author	 = "李,湘東 and 安本,慶一 and 東野,輝夫 and 谷口,健一",
   title	 = "LOTOS記述に対するテストシステムの試作",
   year 	 = "1992",
   institution	 = "大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科",
   number	 = "17(1991-DPS-054)",
   month	 = "mar"
}