"Replicated data types: specification, verification, optimality."

Sebastian Burckhardt et al. (2014)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics