The Functional Approach to Programming.” Cambridge (1998)

by Guy Cousineau, Michel Mauny