Silva, C., & 		Silva, F.
1993 out 27.  Finite Sets: A Case Study on Formal Program Development in the Extended ML Framework. Anais do Simpósio Brasileiro de Engenharia de Software (SBES). [Online] :