Elements of the theory of computation - Lewis Harry R.; Παπαδημητρίου Χρήστος Η. (Prentice Hall, 1998)