Introduction to Computer Theory This text strikes a good balance between rigor and an intuitive approach to computer theory. Covers
