Hierarchical correctness proofs for distributed algorithms
Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC ’87
Nancy A. Lynch
A theory of normed simulations