Proceedings of the International Conference on Mathematical Studies of Information Processing Kyoto, Japan August, 1978
(1978)
Leslie Lamport (1978)
Leslie Lamport "The Specification and Proof of Correctness of Interactive Programs" pp477-540