A Type Primer, 2nd Edition by Kane, John A nice touch in this textbook is the checklist of learning outcomes at the start.