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://revistasunabeduco.biteca.online/index.php/rcc/article/view/1128 (Accedido: 23 agosto 2025).