Ayala Rincón, M., & Muñoz, C. (2000). Explicit substitions and all that. Revista Colombiana De Computación, 1(1), 46–72. Recuperado a partir de https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1128