Ayala Rincón M, Muñoz C. Explicit substitions and all that. Rev. colomb. comput. [Internet]. 1 de diciembre de 2000 [citado 4 de agosto de 2026];1(1):46-72. Disponible en: https://revistas.unab.edu.co/rcc/article/view/1128