Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Practical Foundations for Programming Languages
Robert Harper
Clean Code: A Handbook of Agile Software Craftsmanship / Edition ...
Robert Martin
Robert C. Martin (1)
The Presocratic Philosophers
G. S. Kirk & J. E. Raven & M. Schofield
The Count of Monte Cristo (Unabridged Penguin)
Alexandre Dumas