Ayala Rincón, Mauricio, y César Muñoz. 2000. «Explicit Substitions and All That». Revista Colombiana De Computación 1 (1):46-72. https://revistas.unab.edu.co/index.php/rcc/article/view/1128.