Alberto Pardo and Silvio Meira. 1990.
 O Uso das Semânticas Indutiva e Denotacional na Tradução Fonte-a-Fonte de Linguagens de Programação. In <em>Proceedings of the 4th Brazilian Symposium on Software Engineering</em>, October 24, 1990, Águas de São Pedro/São Paulo, Brasil. SBC, Porto Alegre, Brasil, 30-43. DOI: <a href="https://doi.org/10.5753/sbes.1990.24164">https://doi.org/10.5753/sbes.1990.24164</a>.