"The functional approach to programming" - читать интересную книгу автора (Guy Cousineau, Michel Mauny, K. Callaway)