Theory of Computer Science - K. L. P. Mishra (prentice Hall, 2004)