Estructura y aplicación de sistemas formales a la teoría de programación computacional: Área: Herramientas de Lógica Computacional (. S. J. . Ortegón Pineda & D. . Arévalo Ovalle , Trans.). (2023). Libros Interactivos Multimedia (MI-Books), 1-155. https://doi.org/10.15765/lim.vi.3798