Intuitionistic Type Theory
Giovanni Sambin, Per Martin-Lof
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
3D Game Engine Architecture: Engineering Real-Time Applications ...
David H. Eberly
Tao Te Ching
Lao-tzu
Modern Processor Design: Fundamentals of Superscalar Processors
John Paul Shen, Mikko H. Lipasti