AYALA RINCÓN, M.; MUÑOZ, C. Explicit substitions and all that. Revista Colombiana de Computación, [S. l.], v. 1, n. 1, p. 46–72, 2000. Disponível em: https://revistas.unab.edu.co/index.php/rcc/article/view/1128. Acesso em: 5 may. 2024.