A case study of CES: a distributed collaborative editing system implemented in Argus | IEEE Journals & Magazine | IEEE Xplore