Title: Geurst & Schulze: De aedibus international 7, Author: Charles Rattray
Title: Specification and Verification of Concurrent Systems, Author: Charles Rattray
Title: Algebraic Methodology and Software Technology: 10th International Conference, AMAST 2004, Stirling, Scotland, UK, July 12-16, 2004, Proceedings / Edition 1, Author: Charles Rattray