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