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