A Model-driven approach to formal refactoring - Lima Massoni, Tiago (2014)
Coordenação de Aperfeiçoamento de Pessoal de Nível Superior