Introducing formal notations in the development of object-based distributed applications | Publicación