Silva, C., & 		Silva, F.
1993 Oct 27.  Finite Sets: A Case Study on Formal Program Development in the Extended ML Framework. Proceedings of the Brazilian Symposium on Software Engineering (SBES). [Online] :