Cunha A, Oliveira JN, Visser J.? 2006.??Type-safe Two-level Data Transformation. Proceedings of 14th International Symposium on Formal Methods - FM. 4085:284?299.