@techreport{weko_24283_1,
   author	 = "木下,貴史 and 直井,徹 and 今井,正治",
   title	 = "代数的仕様からのマイクロプログラム自動合成",
   year 	 = "1993",
   institution	 = "豊橋技術科学大学情報工学系, 岐阜大学工学部, 豊橋技術科学大学情報工学系",
   number	 = "111(1993-ARC-103)",
   month	 = "dec"
}