Review of "G. Cousineau and M. Mauny, The functional approach to programming"