Algebraic Specification of a Model Transformation Engine | Publicación