On the Specification, Verification and Implementation of Model Transformations with Transformation Contracts. - Christiano Braga; Roberto Menezes; Thiago Comicio; Cassio Santos; Edson Landim (SBMF, 2011)

Transformation contracts in practice. - Christiano de Oliveira Braga; Roberto Menezes; Thiago Comicio; Cassio Santos; Edson Landim (IET Softw., 2012)