Practical Foundations for Programming Languages
Robert Harper
The Emperor's New Mind: Concerning Computers, Minds, and the ...
Penrose, Roger
Patent Pending in 24 Hours
Attorneys Richard Stim & David Pressman (Nolo)
Compilers: Principles, Techniques, and Tools
Alfred V. Aho; Monica S. Lam; Ravi Sethi; Jeffrey D. Ullman
Game Programming Patterns
Nystrom, Robert