Just glancing over at my bookshelf, how about Tanenbaum's OSDI and Knuth's MMIXware?