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