TY  - BOOK
AU  - Kozen, Dexter C
TI  - Design and analysis of algorithms
U1  - 005.1 K849D 
PY  - 1992///
CY  - New York
PB  - Springer-Verlag
ER  -