Strategic term rewriting and its application to a VDM-SL to SQL conversion (2005)

by T L Alves, P F Silva, J Visser, J N Oliveira
Venue:FM, volume 3582 of LNCS