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://csdl.computer.org/comp/proceedings/ecbs/2005/2308/00/23080033abs.htm db/conf/ecbs/ecbs2005.html#BosneagB05