Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
ACM Digital Library