Reihe Lecture Notes in Computer ScienceDonald E. Knuth × Axioms and Hulls Donald E. KnuthSpringer BerlineBook2005 MMIXwareA RISC Computer for the Third MillenniumDonald E. KnuthSpringer BerlineBook2003 MMIXwareA RISC Computer for the Third MillenniumDonald E. KnuthSpringer BerlinSoftcover1999 Axioms and Hulls Donald E. KnuthSpringer BerlinSoftcover1992