Introduction to Computer Theory - Cohen, Daniel A (JOHN WILEY, 2008)