Specification and Verification of Concurrent Systems - Charles Rattray