Functional Programming : Practice and Theory - MacLennan, Bruce J.; Mayer, Mikuláš; Redhammer, Rafael, 1934- (Smena, 1990)