Proving the correctness of multiprocess programs (1977)

by L LAMPORT
Venue:IEEE Trans. Softw. Eng