Concurrency Theory by Howard Bowman & Rodolfo Gomez