Elements of the theory of computation - Lewis, Harry R. et.al (Prentice-hall, 2003)