Irene Greif Robert Seliger William E. Weihl Atomic Data Abstractions in a Distributed Collaborative Editing System. 160-172 1986 POPL db/conf/popl/popl86.html#GreifSW86