TY  - BOOK
AU  - Hopcroft, John E
AU  - Ullman, Jeffery D
TI  - Introduction to automata theory, Languages and computation
U1  - 005.131  HOP-I 
PY  - 1990///
CY  - Narosa Publishing House, New Delhi
KW  - Symbolic logic
ER  -