"Recent Trends in Algebraic Development Techniques, 17 conf., WADT 2004" - читать интересную книгу автора (José Luiz Fiadeiro, Peter Mosses, Fernando Orejas)