1943
6 works on record
Introduction to functional programming, Haskell 1.3
1998
Algebra of programming
1997
Introduction to functional programming
1988
Programs and machines
1976
Pearls of functional algorithm design
Mathematics of program construction
