J. Staunstrup, “Analysis of Concurrent Algorithms”, DPB, vol. 10, no. 129, Jan. 1981.