Specification and space complexity of collaborative text editing. - Attiya, Hagit; Burckhardt, Sebastian; Gotsman, Alexey; Morrison, Adam; Yang, Hongseok; Zawirski, Marek (Theoretical Computer Science, 2021)