@techreport{weko_28548_1,
   author	 = "伊藤誠 and 和田義弥 and 植松誠也 and 河野豪之",
   title	 = "論理設計自動化システム",
   year 	 = "1981",
   institution	 = "山梨大学　工学部, 山梨大学　工学部, 山梨大学　工学部, 山梨大学　工学部",
   number	 = "43(1980-SLDM-008)",
   month	 = "feb"
}