En 1970 escribió libros sobre lenguajes de programación y matemáticas.