MMIXware a RISC computer for the third millennium / - Knuth, Donald Ervin, (Lecture notes in computer science ;)