"Recent Trends in Algebraic Development Techniques: 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers ... Computer Science and General Issues)" - читать интересную книгу автора (Andrea Corradini, Ugo Montanari)