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