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