Functional programming and its application An advanced course. - Darlington J Ed. (1982)