Assessing the Expressivity of Formal Specification Languages | Publicación