@article{Roh:2011dw,
author = {Roh, Hyun-Gul and Jeon, Myeongjae and Kim, Jin-Soo and Lee, Joonwon},
title = {Replicated abstract data types: Building blocks for collaborative applications},
journal = {Journal of Parallel and Distributed Computing},
year = {2011},
volume = {71},
number = {3},
pages = {354--368},
doi = {10.1016/j.jpdc.2010.12.006}
}

@article{Gomes:2017gy,
author = {Gomes, Victor B F and Kleppmann, Martin and Mulligan, Dominic P and Beresford, Alastair R},
title = {Verifying strong eventual consistency in distributed systems},
journal = {Proceedings of the ACM on Programming Languages (PACMPL)},
year = {2017},
volume = {1},
number = {OOPSLA},
month = oct,
doi = {10.1145/3133933}
}

@article{Gomes:2017vo,
author = {Gomes, Victor B F and Kleppmann, Martin and Mulligan, Dominic P and Beresford, Alastair R},
title = {A framework for establishing Strong Eventual Consistency for Conflict-free Replicated Data types},
journal = {Archive of Formal Proofs},
year = {2017},
month = jul,
url = {http://isa-afp.org/entries/CRDT.html}
}

@inproceedings{Attiya:2016kh,
author = {Attiya, Hagit and Burckhardt, Sebastian and Gotsman, Alexey and Morrison, Adam and Yang, Hongseok and Zawirski, Marek},
title = {Specification and Complexity of Collaborative Text Editing},
booktitle = {ACM Symposium on Principles of Distributed Computing (PODC)},
year = {2016},
pages = {259--268},
month = jul,
doi = {10.1145/2933057.2933090}
}