Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Propaganda
Edward Bernays
Art & Illusion
E. H. Gombrich
On Light And Other High Frequency Phenomena
Nikola Tesla, Zoran B. Živković
Rust Programming by Example
Guillaume Gomez & Antoni Boucher