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