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