Introduction To Computer Theory by Cohen