Bengt Jonsson
Proceedings of the fourth annual ACM symposium on Principles of distributed computing - PODC ’85
A theory of normed simulations