Introduction to Computer Theory by Cohen, Daniel I. a.