@techreport{weko_31435_1,
   author	 = "小野,諭 and 高橋,直久 and 長谷川,隆三 and 雨宮,真人",
   title	 = "関数型言語Validにおける資源管理記述法",
   year 	 = "1983",
   institution	 = "日本電信電話公社武蔵野電気通信研究所, 日本電信電話公社武蔵野電気通信研究所, 日本電信電話公社武蔵野電気通信研究所, 日本電信電話公社武蔵野電気通信研究所",
   number	 = "12(1983-PRO-005)",
   month	 = "jun"
}