Silva, Cláudia, and Fabio Q. B. da Silva.
" Finite Sets: A Case Study on Formal Program Development in the Extended ML Framework." <em>Anais do VII Simpósio Brasileiro de Engenharia de Software,
Rio de Janeiro/RJ, 1993</em>. SBC, 1993,  
pp.62-76.