Leslie Lamport P. M. Melliar-Smith 52-78 J. ACM January 1985 32 1 db/journals/jacm/jacm32.html#LamportM85 http://doi.acm.org/10.1145/2455.2457