@techreport{weko_31341_1,
   author	 = "布川博士 and 富樫敦 and 野口正一",
   title	 = "FPプログラム代数則検証に関する基礎",
   year 	 = "1985",
   institution	 = "東北大学電気通信研究所, 東北大学電気通信研究所, 東北大学電気通信研究所",
   number	 = "12(1985-PRO-013)",
   month	 = "jun"
}