A two-level formal semantics for the QVT language.

Roxana S. Giandini Claudia Pons Gabriela Pérez A two-level formal semantics for the QVT language. 73-86 2009 CIbSE conf/cibse/2009 db/conf/cibse/cibse2009.html#GiandiniPP09