Introduction to Formal Models in Computer Science
Lecture notes from the University of Washington covering basic topics such as computation models and theoretical concepts such as nondeterminism.