Introduction to computer theory - Cohen Daniel I A (New york John Wiley, 2000)