publicações selecionadas artigo académico Strategic term rewriting and its application to a Vdm-sl to Sql conversion 2005