Staunstrup, J. “Specification and Verification of Concurrent Programs”. DAIMI Report Series, vol. 8, no. 94, Mar. 1979, doi:10.7146/dpb.v8i94.6510.