Text this: Introduction to Concurrency Theory