TY  - BOOK
AU  -  Anand, Sharma
TI  -  Theory of automata and formal languages
SN  - 62
U1  -  005.131  ANA-T 
PB  -  Universities Press, New Delhi
KW  -  Symbolic logic; Automata, Formal languages applied to programming langu
ER  -