Staunstrup, J. “Analysis of Concurrent Algorithms”. DAIMI Report Series, vol. 10, no. 129, Jan. 1981, doi:10.7146/dpb.v10i129.7405.