Ayala Rincón, M. y Muñoz, C. 2000. Explicit substitions and all that. Revista Colombiana de Computación. 1, 1 (dic. 2000), 46–72.