"Algebraic Methodology and Software Technology: 5th International Conference, AMAST '96 Munich, Germany, July 1996. Proceedings " - читать интересную книгу автора (Martin Wirsing, Maurice Nivat)