Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Linkers and Loaders
John R. Levine
Ray Tracing Gems High-Quality & Real-Time Rendering & DXR & ...
Eric Haines, Tomas Akenine-Möller
Theory and Calculations of Electrical Circuits
Charles Proteus Steinmetz
Mencius
Mencius & D. C. Lau