Graph Transformation Semantics for a QVT Language. - Arend Rensink; Ronald Nederpel (GT-VMT@ETAPS, 2006)