Ayala Rincón, M. y Muñoz, C. (2000) «Explicit substitions and all that», Revista Colombiana de Computación, 1(1), pp. 46–72. Disponible en: https://revistas.unab.edu.co/index.php/rcc/article/view/1128 (Accedido: 5 mayo 2024).