@techreport{weko_30891_1,
   author	 = "酒井,正彦 and 坂部,俊樹 and 稲垣,康善",
   title	 = "代数的仕様の検証のための被覆集合帰納法",
   year 	 = "1990",
   institution	 = "名古屋大学工学部, 名古屋大学工学部, 名古屋大学工学部",
   number	 = "44(1990-PRO-035)",
   month	 = "may"
}