Richard A. DeMillo Raymond E. Miller Implicit Computation of Synchronization Primitives. 35-38 1979 9 Inf. Process. Lett. 1 db/journals/ipl/ipl9.html#MilloM79