Ortegón Pineda , Sandor Johan, and Diego Arévalo Ovalle , trans. 2023. “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, 1-155. https://doi.org/10.15765/lim.vi.3798.