The functional approach to programming / - Cousineau, Guy. (Cambridge University Press,, 1998)