TY  - BOOK
AU  - KOZEN, D. C.
TI  - DESIGN AND ANALYSIS AND ALGORITHAMS
U1  - 005.1 KOZ 
PY  - 1992///
PB  - SPRINGER VERLAG
ER  -