Introduction to computer theory - Cohen, Daniel I A (1986)