Nancy A. Lynch and Mark R. Tuttle. Hierarchical Correctness Proofs for Distributed Algorithms. In Proceedings of the 6th Annual ACM Symposium on Principles of Distributed Computing (PODC'87, Vancouver, British Columbia, Canada), pages 137--151, August 1987. .pdf Also, Technical Report MIT/LCS/TR-387, Laboratory for Computer Science, Massachusetts Institute of Technology. .pdf

Abstract