TY  - BOOK
AU  - Nerode,A (Ed)
TI  - Logical foundations of computer science- Tver' 92: Second international symposium Tver, Russia, 20-24 July, 1992
PY  - 1992///
CY  - London: 
PB  - Springer-Verlag, 
KW  - Computer
KW  - System
ER  -