J. H. Ramírez Marín, Fundamentos iniciales de lógica de programación I. Fondo Editorial IUE, 2019.