Estructura y aplicación de sistemas formales a la teoría de programación computacional: Área: Herramientas de Lógica Computacional. MI-Books. Published online September 4, 2023:1-155. doi:10.15765/lim.vi.3798