"Recent Trends in Algebraic Development Techniques, 13 conf., Wadt'98" - читать интересную книгу автора (Jose L. Fiadeiro)