A Functional Approach to Programming (1998)

by Guy Cousineau, Michel Mauny