2003
Volume 1: Understanding the Machine
2004
2020
Thinking Low-Level, Writing High-Level
2006
Engineering Software
