Dale Skeen A Quorum-Based Commit Protocol. 69-80 1982 Berkeley Workshop db/conf/berkeley/berkeley82.html#Skeen82