Staunstrup, J. 1979. Specification and Verification of Concurrent Programs. DAIMI Report Series. 8, 94 (Mar. 1979). DOI:https://doi.org/10.7146/dpb.v8i94.6510.