TY  - BOOK
AU  - Hopcroft, John E; Ullman, Jeffrey D
TI  - Introduction to automata theory, languages and computation
SN  - 8185015961
U1  - 511.3  HOP-I 
PB  - Narosa Publishing House, New Delhi
KW  - Mathematical logic; Mathematics
ER  -