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