An Algebraic Semantics for QVT-Relations Check-only Transformations | Publicación