"Recent Trends in Algebraic Development Techniques, 15 conf., WADT 2001" - читать интересную книгу автора (Maura Cerioli, Gianna Reggio)