Book

Specification and Verification of Concurrent Systems

by Charles Rattray