TY - BOOK AU - varma(g.p.saradhi) TI - Theory of computation PB - Sci tech ER -