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