@techreport{weko_22471_1,
   author	 = "石木,信之 and 並河,英二 and 関,浩之 and 杉山,裕二 and 藤井,護 and 鳥居,宏次 and 中小路,久美代",
   title	 = "プログラム仕様に用いる自然語の処理システム　－代数的仕様への変換と知識管理－",
   year 	 = "1987",
   institution	 = "大阪大学基礎工学部, 大阪大学基礎工学部, 大阪大学基礎工学部, 大阪大学基礎工学部, 大阪大学大型計算機センター, 大阪大学基礎工学部, （株）ソフトウェア・リサーチ・アソシエイツ",
   number	 = "11(1986-SE-052)",
   month	 = "feb"
}