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