Writing a Simple Operating System from Scratch
Nick Blundell
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Dynamic Bible
Peter Han
Game Programming Gems
Mark A. Deloura
Z-80 Microprocessor: Architecture, Interfacing, Programming ...
Ramesh Gaonkar