A technique for distributed systems specification | Publicación