Proving the Correctness of Multiprocess Programs (1977)

by L Lamport
Venue:IEEE Trans. Softw. Eng