Cunha A, Oliveira JN, Visser J.? 2006.??Type-safe two-level data transformation . FM 2006: Formal Methods. 4085:284-299.