L. Figueiredo y C. Camarão, «A view on abstract and extensibles types», Rev. colomb. comput., vol. 3, n.º 1, pp. 21–40, jun. 2002.