TY  - RPRT
TI  - Assembling the Proofs of Ordered Model Transformations
AU  - Maribel Fernández
AU  - Jeffrey Terrell
PY  - 2013
DO  - 10.4204/eptcs.108.5
UR  - https://arxiv.org/abs/1302.5174
ID  - 1302.5174
ER  -