“Estructura Y aplicación De Sistemas Formales a La teoría De programación Computacional: Área: Herramientas De Lógica Computacional”. 2023. Libros Interactivos Multimedia (MI-Books), September, 1-155. https://doi.org/10.15765/lim.vi.3798.