TY  - BOOK
AU  - KOZEN
ED  - NO
TI  - THE DESIGN AND ANALYSIS OF ALGORITHMS
SN  - 0387976876
U1  - 005.1 KOZ 
PY  - 1991///
PB  - SPRINGER
ER  -