Silva, Cláudia, AND 		Silva, Fabio.
" Finite Sets: A Case Study on Formal Program Development in the Extended ML Framework" <em>Proceedings of the Brazilian Symposium on Software Engineering (SBES)</em> [Online], (27 October 1993)