Silva, Cláudia, and Fabio Q. B. da Silva.
" Finite Sets: A Case Study on Formal Program Development in the Extended ML Framework." <em>Proceedings of the 7th Brazilian Symposium on Software Engineering,
Rio de Janeiro/RJ, 1993</em>. SBC, 1993,  
pp.62-76.