Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Managing Oneself
Drucker, Peter Ferdinand
Business Adventures
John Brooks
Simon Saunders Harvey R Brown
The Philosophy of vacuum-Oxford (2002)
Grounding and Shielding: Circuits and Interference
Ralph Morrison