Pardo, Alberto, and Silvio Lemos Meira.
" O Uso das Semânticas Indutiva e Denotacional na Tradução Fonte-a-Fonte de Linguagens de Programação." <em>Proceedings of the 4th Brazilian Symposium on Software Engineering,
Águas de São Pedro/São Paulo, 1990</em>. SBC, 1990,  
pp.30-43.