Theory of computation - Sivanandam, S N (I. K. International, 2009)