Theory of computation - Wood, Derick, 1940- (Harper & Row, 1987)