Replicated data types: Specification, verification, optimality. (2014)

by S Burckhardt, A Gotsman, H Yang, M Zawirski
Venue:In Principles of Programming Languages (POPL),