clocks, and the ordering of events in a distributed system (1978)

by L Time Lamport
Venue:Communications of the ACM