Implicit computation of synchronization primitivesRichard A. De MilloRaymond E. Miller1979Information Processing Letters