The Functional Approach to Programming

(Author: Cousineau, G. A Mauny, M.)