"A denotational view of replicated data types" (2017) Gadducci, F.;Melgratti, H.;Roldán, C. (...)Massink M. 19th IFIP WG 6.1 International Conference on Coordination Models and Languages, COORDINATION 2017 - Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017. 10319 LNCS:138-156