Semantic constructions in the specification language Glider | Publicación