Books written by Peter Naur.

For fundamental contributions to programming language design and the definition of ALGOL 60, to compiler design, and to the art and practice of computer programming, Naur was recognized with the Turing Award in 2005.

Computing: A Human Activity

Concise Survey of Computer Methods

Knowing and the Mystique of Logic and Rules

Human knowing is examined as it emerges from classical empirical psychology, with its ramifications into language, computing, science, and scholarship.