@techreport{weko_22151_1,
   author	 = "森岡,澄夫 and 北道,淳司 and 東野,輝夫 and 谷口,健一",
   title	 = "代数的手法を用いた順序機械型プログラムの設計検証",
   year 	 = "1992",
   institution	 = "大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科",
   number	 = "79(1992-SE-087)",
   month	 = "sep"
}