"Recent Trends in Algebraic Development Techniques, 14 conf., WADT '99" - читать интересную книгу автора (Didier Bert, Christine Choppy, Peter Mosses)