1. Lecture Notes in Computer Science;T.L. Alves,2005
2. Lecture Notes in Computer Science;F. Atanassow,2004
3. van den Brand, M., Klint, P., Vinju, J.: Term rewriting with type-safe traversal functions. ENTCS 70(6) (2002)
4. Cleve, A., Henrard, J., Hainaut, J.-L.: Co-transformations in information system reengineering. ENTCS 137(3), 5–15 (2005)
5. Cunha, A., Oliveira, J.N., Visser, J.: Type-safe two-level data transformation – with derecursivation and dynamic typing. Technical Report DI-PURe-06.03.01, Univ. Minho (2006)