Towards formal open standards: formalizing a standard’s requirements | Publicación