@techreport{weko_31299_1,
   author	 = "TOYAMA,Yoshihito",
   title	 = "Program Transformations based on Term Rewriting Systems",
   year 	 = "1985",
   institution	 = "NTT Electrical Communications Laboratories",
   number	 = "58(1985-PRO-015)",
   month	 = "dec"
}