Leslie Lamport The Synchronization of Independent Processes Acta Inf. 7 1976 15-34 db/journals/acta/acta7.html#Lamport76