Introduction to computer theory - Cohen, Daniel I. A. (Wiley, 1997)