Formal specification applied to multiuser distributed services: Experiences in collaborative t-learning | Publicación