AYALA RINCÓN, Mauricio; MUÑOZ, César. Explicit substitions and all that. Revista Colombiana de Computación, [S. l.], v. 1, n. 1, p. 46–72, 2000. Disponível em: https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1128. Acesso em: 23 ago. 2025.