Stand on Zanzibar
John Brunner
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Descartes on Polyhedra: A Study of the De Solidorum Elementis
Pasquale Joseph Federico
High-Precision Relative Clock Synchronization Using Time Stamp ...
Guo-Song Tian, Yu-Chu Tian, Colin Fidge
The histories of Herodotus
Herodotus