Introduction To Computer Theory, 2ed by Cohen