The Art of the Fugue: Minimizing Interleaving in Collaborative Text Editing (arxiv.org)