Proving the correctness of multiprocess programs (1977)

by L Lamport
Venue:1EEE Trans. on Software Engineering SE-3