Leslie Lamport An Assertional Correctness Proof of a Distributed Algorithm. 175-206 1982 2 Sci. Comput. Program. 3 db/journals/scp/scp2.html#Lamport82