Formal Design of a Concurrent Control Algorithm for Replicated Data in Groupware Applications | Publicación