Specification and implementation of resilient, atomic data types
Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems - SIGPLAN ’83
Barbara Liskov
A weighted voting algorithm for replicated directories