J. Staunstrup, “Specification and Verification of Concurrent Programs”, DPB, vol. 8, no. 94, Mar. 1979.