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