Figueiredo, Lucília, y Carlos Camarão. 2002. «A View on Abstract and Extensibles Types». Revista Colombiana De Computación 3 (1):21-40. https://revistas.unab.edu.co/index.php/rcc/article/view/1106.