Compilers: Principles, Techniques, and Tools
Alfred V. Aho & Monica S. Lam & Jeffrey D. Ullman & Ravi Sethi
Lambda-Calculus and Combinators: An Introduction
J. Roger Hindley
Our Mathematical Universe
Max Tegmark
A Universe From Nothing: Why There Is Something Rather Than ...
Lawrence M. Krauss