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