Pragmatism, a New Name for Some Old Ways of Thinking
William James
Intuitionistic Type Theory
Per Martin-Lof
The Oxygen Advantage: The Simple, Scientifically Proven Breathing ...
Patrick McKeown
Compilers: Principles, Techniques, and Tools
Alfred V. Aho; Monica S. Lam; Ravi Sethi; Jeffrey D. Ullman
Linkers and Loaders
John R. Levine
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson