@techreport{weko_27844_1,
   author	 = "島谷,肇 and 森岡,澄夫 and 東野,輝夫 and 谷口,健一",
   title	 = "in－ order実行パイプラインCPUの正しさの自動証明例",
   year 	 = "1996",
   institution	 = "大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科",
   number	 = "101(1996-SLDM-081)",
   month	 = "oct"
}