@techreport{weko_35722_1,
   author	 = "黄,莉 and 安本,慶一 and 北道,淳司 and 東野,輝夫 and 谷口,健一",
   title	 = "LOTOS風言語で書かれた同期式順序回路の要求仕様記述と回路自動合成",
   year 	 = "1994",
   institution	 = "大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科",
   number	 = "56(1994-DPS-066)",
   month	 = "jul"
}