1977年チューリング賞受賞記念講演　プログラミングはフォン・ノイマン・スタイルから解放されうるか?　関数的プログラミング・スタイルとそのプログラム代数(1)