Staunstrup, Jørgen. 1981. “Analysis of Concurrent Algorithms”. DAIMI Report Series 10 (129). https://doi.org/10.7146/dpb.v10i129.7405.