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