@techreport{weko_51232_1,
   author	 = "沈涵 and 中川,裕志",
   title	 = "層状プログラムにおけるUnfold/Fold変換",
   year 	 = "1989",
   institution	 = "横浜国立大学, 横浜国立大学",
   number	 = "78(1989-ICS-066)",
   month	 = "sep"
}