Silva, Cláudia, E 		Silva, Fabio.
" Finite Sets: A Case Study on Formal Program Development in the Extended ML Framework" <em>Anais do Simpósio Brasileiro de Engenharia de Software (SBES)</em> [Online], (27 outubro 1993)