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://revistas.unab.edu.co/index.php/rcc/article/view/1128