计算机科学
operating-systems: Three Easy Pieces
Remzi H. Arpaci-Dusseau, Andrea C. Arpaci-dusseau
Programming Language Pragmatics
Michael Scott
Types and programming-languages
Benjamin C. Pierce
The Lambda Calculus: Its Syntax and Semantics: v. 103
H.P. Barendregt
Structure and Interpretation of Computer Programs, second edition
Harold Abelson, Gerald Jay Sussman, Julie Sussman
Art of Computer Programming
Donald Knuth