Alves T, Silva P, Visser J, Oliveira JN.? 2005.??Strategic Term Rewriting and Its Application to a VDMSL to SQL Conversion. FM -  Proceedings of International Symposium of Formal Methods Europe. 3582:399-414.