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