by Charles Rattray
Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004. Proceedings<br />Author: Charles Rattray, Savitri Maharaj, Carron…