Silva, C., & 		Silva, F.
(1993).
 Finite Sets: A Case Study on Formal Program Development in the Extended ML Framework.
In <em>Anais do VII Simpósio Brasileiro de Engenharia de Software</em>, (pp. 62-76). Porto Alegre: SBC.
doi:10.5753/sbes.1993.24396