C. Silva and F. Silva.
" Finite Sets: A Case Study on Formal Program Development in the Extended ML Framework", in <em>Anais do VII Simpósio Brasileiro de Engenharia de Software</em>, Rio de Janeiro/RJ, 1993, pp. 62-76, doi: <a href="https://doi.org/10.5753/sbes.1993.24396">https://doi.org/10.5753/sbes.1993.24396</a>.