5 books • 2 series
Unified Theories Of Programming
Essays in Computer Science (Prentice Hall International Series in Computing Science)
The Mathematics of Programming (Inaugural Lectures S.)
Communicating Sequential Processes (Prentice Hall International Series in Computing Science)
Functional Programming