An efficient and highly available read-one write-all protocol for replicated data management | IEEE Conference Publication | IEEE Xplore