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