TY  - BOOK
AU  - Kozen, Dexter C.
TI  - Design and analysis of algorithms
T2  - Texts and monographs in computer science
SN  - 0387976876
U1  - 005.1, 
PY  - 1991///
CY  - New York
PB  - Springer-Verlag
ER  -