Algebraic Methodology and Software Technology 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings - Rattray, Charles; Rattray, Charles; Maharaj, Savitri; Maharaj, Savitri (Springer Berlin Heidelberg : Imprint: Springer, 2004)