Lamport, Leslie, January, 1978. (doi:10.1145/1010734.1010737)