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