"Algebraic Methodology and Software Technology: 7th International Conference, AMAST'98, Amazonia, Brazil, January 4-8, 1999, Proceedings: v. 1548 " - читать интересную книгу автора (Armando M. Haeberer)