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