Finite Sets: A Case Study on Formal Program Development in the Extended ML Framework. - Cláudia J. A. da Silva; Fabio Q. B. da Silva (SBES, 1993)