A Method of Programming (English and Dutch Edition)
Book by Dijkstra, Edsger W., Feijen, W. H. J., Sterringa, Joke
A Discipline of Programming
Algorithms + Data Structures = Programs (Prentice-Hall Series in Automatic Computation)
An Introduction to Functional Programming Through Lambda Calculus (Dover Books on Mathematics)
From Mathematics to Generic Programming