Physically Based Rendering, Third Edition From Theory to Implementation
Matt Pharr, Wenzel Jakob, Greg Humphreys
Simon Saunders Harvey R Brown
The Philosophy of vacuum-Oxford (2002)
The Road to Reality: A Complete Guide to the Laws of the Universe
Roger Penrose
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Stand on Zanzibar
John Brunner