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