Ueli M. Maurer Towards a Theory of Consistency Primitives. 379-389 http://dx.doi.org/10.1007/978-3-540-30186-8_27 2004 conf/wdag/2004 DISC db/conf/wdag/disc2004.html#Maurer04