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