Algebraic methodology and software technology 10th international conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004 : proceedings / - Rattray, C.; Maharaj, Savitri.; Shankland, Carron. (Lecture notes in computer science ;)