R. Gómez Marín y A. Sicard Ramírez, Informática teórica: elementos propedéuticos. Editorial EAFIT, 2002.