Algebraic Methodology and Software Technology : 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings - Charles Rattray, Savitri Maharaj, Carron Shankland ((Lecture Notes in Computer Science))