Nancy A. Lynch
Mark R. Tuttle
Proceedings of the sixth annual ACM Symposium on Principles of distributed computing - PODC ’87
A theory of normed simulations