TY  - GEN
AU  - Nerode, A.
AU  - Taitslin, M.
AU  - 
TI  - LOGICAL FOUNDATIONS OF COMPUTER SCIENCE - TVER `92
SN  - 3540557075
U1  - 001.64 
PY  - 1992///
CY  - Berlin
PB  - Springer-Verlag
KW  - Computer Science
UR  - http://link.springer.com/bookseries/558
ER  -