Figueiredo, L. y Camarão, C. 2002. A view on abstract and extensibles types. Revista Colombiana de Computación. 3, 1 (jun. 2002), 21–40.