How to make a multiprocessor computer that correctly executes multiprocess programs (1979)

by Leslie Lamport
Venue:IEEE Transactions on Computers