“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), Sept. 2023, pp. 1-155, https://doi.org/10.15765/lim.vi.3798.