“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.