by Richard Bornat
No reviews yet. Be the first!
Proof and Disproof in Formal Logic
Programming from first principles
BCPL, the language and its compiler
The BCPL reference manual
BCPL and C
BCPL on the BBC microcomputer