Ha escrito seis libros, los más recientemente Un País Fascinante, El Mundo de Calcular y Guía al Razonamiento Automatizado, (Mundo Científico, 1999-2000) y Obras completas de Larry Wos, 2 vols., (Mundo Científico, 2001).