publicações selecionadas artigo de revista Strongly typed rewriting for coupled software transformation. Electronic Notes in Theoretical Computer Science. 2007