"Algebraic Methodology and Software Technology: 4th International Conference, AMAST '95, Montreal, Canada, July 3-7, 1995. Proceedings " - читать интересную книгу автора (V.S. Alagar, Maurice Nivat)