@techreport{weko_22472_1,
   author	 = "関,浩之 and 並河,英二 and 藤井,護 and 嵩,忠雄",
   title	 = "自然語によるプログラム仕様の形式的意味定義　－自然語による仕様から代数的仕様への変換－",
   year 	 = "1987",
   institution	 = "大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科, 大阪大学基礎工学部情報工学科",
   number	 = "11(1986-SE-052)",
   month	 = "feb"
}