[PartiallyTyped]

LfD is a great book to get people to think about complexity classes and model families. We used that in my grad course and I can recommend it.