Aranega, V., Etien, A. and Dekeyser, J.-L. (2011) “Using an Alternative Trace for QVT”, Electronic Communications of the EASST, 42. doi: 10.14279/tuj.eceasst.42.677.