@article{weko_5219_1,
   author	 = "東野,輝夫 and 関,浩之 and 谷口,健一",
   title	 = "関数型プログラミングとその応用：代数的仕様から関数型プログラムの導出とその実行",
   journal	 = "情報処理",
   year 	 = "1988",
   volume	 = "29",
   number	 = "8",
   month	 = "aug"
}