Operating System Design: The Xinu Approach, Second Edition
Douglas Comer
Euler The Master of Us All
William Dunham
Blood, Sweat, and Pixels
Jason Schreier
Porgramming in Martin-Lof's Type Theory
Bengt Nordstrom, Kent Petersson, Jan M. Smith
Mediated
Thomas de Zengotita