Correct-by-Construction Model Transformations from Partially Ordered Specifications in Coq. - Iman Poernomo; Jeffrey Terrell (ICFEM, 2010)

Assembling the Proofs of Ordered Model Transformations - Maribel Fernández; Jeffrey Terrell (FESCA, 2013)

Correct-by-construction synthesis of model transformations using transformation patterns. - Kevin Lano; Shekoufeh Kolahdouz Rahimi; Iman Poernomo; Jeffrey Terrell; Steffen Zschaler (Softw. Syst. Model., 2014)

Ordered model transformations. - Jeffrey William Terrell (2014)