TY  - BOOK
AU  - Knuth D E
TI  - Axioms and hulls
U1  - 004.01516 
PY  - 1992///
CY  - Berlin
PB  - Springer Verlag
KW  - Computer science
ER  -