En 1976 su último libro "Funciones Recursivas en Teoría de Computación", trataba este tema de las funciones recursivas aplicadas en la teoría de la computación, aunque no llegó a traducirse al inglés hasta 1981.