"Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings " - читать интересную книгу автора (Charles Rattray, Savitri Maharaj)