Proceedings of the seventh annual ACM Symposium on Principles of distributed computing - Dolev, Danny (Association for Computing Machinery, 1988)