Introduction to computer theory - Cohen, Daniel I. A. 1946- (Wiley, 1997)