Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems
Barbara Liskov
A weighted voting algorithm for replicated directories