A new approach to proving the correctness of multiprocess programs (1979)

by L Lamport
Venue:ACM Trans. Program. Lang. Syst