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