Staunstrup, J. Specification and Verification of Concurrent Programs. DPB 1979, 8.