On Interprocess Communication. Part II: Algorithms.

Leslie Lamport On Interprocess Communication. Part II: Algorithms. 86-101 1986 1 Distributed Computing 2 db/journals/dc/dc1.html#Lamport86a