Butler W. Lampson The ABCD's of Paxos. 13 2001 PODC http://doi.acm.org/10.1145/383962.383969 db/conf/podc/podc2001.html#Lampson01