Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Iamblichus and the Theory of the Vehicle of the Soul
John F. Finamore
Computers as Theatre
Brenda Laurel
Hypercomplex Numbers: An Elementary Introduction to Algebras
I. L. Kantor & A. S. Solodovnikov
Linear Algebra Done Right
Sheldon Axler