Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
The Unfettered Mind: Writings from a Zen Master to a Master ...
Takuan Soho
A Late Period Hieratic Wisdom Text: (P. Brooklyn 47.218.135)
Richard Lewis Jasnow
Only the paranoid survive: how to exploit the crisis points ...
Andrew S. Grove
Theory and Calculations of Electrical Circuits
Charles Proteus Steinmetz