Silva, C., & 		Silva, F.
(1993).
 Finite Sets: A Case Study on Formal Program Development in the Extended ML Framework.
In <em>Proceedings of the 7th Brazilian Symposium on Software Engineering</em>, (pp. 62-76). Porto Alegre: SBC.
doi:10.5753/sbes.1993.24396