Formal Reasoning on a Web Coordination System | Publicación