In his book Computing: A Human Activity (1992), which is a collection of his contributions to computer science, he rejected the formalist school of programming that views programming as a branch of mathematics.
I sin bok Computing: A Human Activity (1992), som är en samling av hans bidrag till datavetenskap, avvisar han den formalistiska skolan om programmering som anger programmering som en gren av matematiken.