PIECEMEAL: A Formal Collaborative Editing Technique Guaranteeing Correctness
S. Dekeyser, and J. Hidders. Proceedings of the IADIS International Conferences Collaborative Technologies 2010 and Web Based Communities 2010, page 125--131. Freiburg, Germany, (2010)