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.
In seinem Buch Computing: A Human Activity (1992), das eine Sammlung seiner Beiträge zur Informatik ist, griff er die formalistische Schule des Programmierens als Zweig der Mathematik an.