کتاب های Richard Bornat
Programming from First Principles
Richard Bornat, 1986
Proof and Disproof in Formal Logic: An Introduction for Programmers
Richard Bornat, 2005
Understanding and Writing Compilers: A Do It Yourself Guide
Richard Bornat, 1989
Understanding and Writing Compilers: A do-it-yourself guide
Richard Bornat (auth.), 1979
