Should Concurrency be Specified? - Rosalind L. Ibrahim; John A. Ogden; Shirley A. Williams (Specification and Verification of Concurrent Systems, 1988)