@book{Knu-LNCS-92, title = {Axioms and Hulls}, author = {Donald Ervin Knuth}, series = {Lecture Notes in Computer Science}, publisher = {Springer-Verlag}, number = {606}, year = {1992}}