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