“Estructura Y aplicación De Sistemas Formales a La teoría De programación Computacional: Área: Herramientas De Lógica Computacional”. Libros interactivos multimedia (MI-Books) (September 4, 2023): 1–155. Accessed July 22, 2024. https://revistas.poligran.edu.co/index.php/mi-books/article/view/3798.