Only the paranoid survive: how to exploit the crisis points ...
Andrew S. Grove
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Re-Counting Plato: A Computer Analysis of Plato's Style
Gerard R. Ledger
Navigating Metabolism by Navdeep S. Chandel
Hiroshi Nakai
A Discourse on Method: Rightly Conducting the Reason, and Seeking ...
Rene. Descartes