Proceedings of the twenty-fifth annual ACM symposium on Principles of distributed computing
ACM Digital Library