. S. J. . Ortegón Pineda and D. . Arévalo Ovalle , Trans., “Estructura y aplicación de sistemas formales a la teoría de programación computacional: Área: Herramientas de Lógica Computacional”, MI-Books, pp. 1–155, Sep. 2023, doi: 10.15765/lim.vi.3798.