BORBA, Paulo H. M.; MEIRA, Silvio R. de L.. Tradução de Tipos de Especificação para Protótipo. In: SIMPÓSIO BRASILEIRO DE ENGENHARIA DE SOFTWARE (SBES), 4. , 1990, Águas de São Pedro/São Paulo. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1990 . p. 1-13. DOI: https://doi.org/10.5753/sbes.1990.24162.