"Recent Trends in Algebraic Development Techniques 12 conf., WADT'97" - читать интересную книгу автора (Francesco Parisi-Presicce)