Types and Programming Languages
Benjamin C. Pierce & Benjamin C. (professor Pierce, University Of Pennsylvania)
Opticks: or, A treatise of the reflections, refractions, inflexions ...
Newton, Isaac, 1642-1727
Intuitionistic Type Theory
Per Martin-Lof
The Sublime Object of Ideology
Slavoj Zizek
Design and Implementation of the FreeBSD Operating System, The, ...
Marshall Kirk McKusick & George V. Neville-Neil & Robert N. M. Watson
Art of Computer Programming, Volume 2: Seminumerical Algorithms, ...
Donald E. Knuth