Theory of computation.
Kulkarni, Vivek.
New Delhi : Oxford University Press,
2013
Machine theory.