Staunstrup, J. Analysis of Concurrent Algorithms. DPB 1981, 10.