The Functional Approach to Programming (1998)

by G COUSINEAU, M MAUNY