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

by L Lamport
Venue:IEEE Transactions on Computers