Object-Oriented Process Specification. - Stephen A. Schuman; David H. Pitt; Paddy H. Byers (Specification and Verification of Concurrent Systems, 1988)