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