Introduction to computer theory - Cohen (John Wiley, 1997)