@techreport{weko_31242_1,
   author	 = "北,英彦 and 坂部,俊樹 and 稲垣,康善",
   title	 = "代数的に仕様記述された言語のプログラム検証",
   year 	 = "1986",
   institution	 = "名古屋大学工学部, 三重大学工学部, 名古屋大学工学部",
   number	 = "39(1986-PRO-017)",
   month	 = "jul"
}