Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Archimedes Netz, Reviel (ed.)
The works of Archimedes. Vol. 2 On spirals-Cambridge University ...
Great Transformations: Economic Ideas and Institutional Change ...
Mark Blyth
Platform
Cynthia Johnson
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar