@inproceedings{weko_114193_1,
   author	 = "飯島,正 and 岡田,謙一 and 横山,光男 and 北川,節",
   title	 = "T式による関数型プログラム開発",
   booktitle	 = "全国大会講演論文集",
   year 	 = "1986",
   volume	 = "第33回",
   number	 = "プログラミング言語およびソフトウェア工学",
   pages	 = "789--790",
   month	 = "oct"
}