Axioms and hulls - Knuth, Donald Ervin 1938- (Lecture notes in computer science, 1992)