Figueiredo, L.; Camarão, C. A View on Abstract and Extensibles Types. Rev. colomb. comput. 2002, 3, 21-40.