Axioms and hulls
By: D.E. Knuth.
Series: Lecture notes in computer science -- 606
Publisher: Springer
Published: 1992
Place of publication: Berlin; London
Language: eng