Anne-Marie Bosneag Monica Brockmeyer A Unified Formal Specification for a Multi-Consistency Replication System for DHTs. 33-40 2005 conf/ecbs/2005 ECBS http://doi.ieeecomputersociety.org/10.1109/ECBS.2005.14 db/conf/ecbs/ecbs2005.html#BosneagB05