Formalizing ODP computational viewpoint specifications in Maude | Publicación