The Art of Programming Embedded Systems by Jack Ganssle: Used A nice touch in this textbook is the index of terms with page numbers.
