Introduction to computer theory - Cohen, Daniel I. A. (John Wiley and Sons, 1991)