TY  - GEN
AU  - Kozen, Dexter C
TI  - The design and analysis of algorithms
SN  - 0387976876
U1  - 005.1 KOZ/D 
PY  - 1992///
CY  - New York
PB  - Springer-Verlag
KW  - Computer algorithms
ER  -