A. Pardo and S. Meira. " O Uso das Semânticas Indutiva e Denotacional na Tradução Fonte-a-Fonte de Linguagens de Programação", in Anais do IV Simpósio Brasileiro de Engenharia de Software, Águas de São Pedro/São Paulo, 1990, pp. 30-43, doi: https://doi.org/10.5753/sbes.1990.24164.