Pardo, Alberto, E Meira, Silvio. " O Uso das Semânticas Indutiva e Denotacional na Tradução Fonte-a-Fonte de Linguagens de Programação" Anais do Simpósio Brasileiro de Engenharia de Software (SBES) [Online], (24 outubro 1990)