https://www.cs.ox.ac.uk/activities/concurrency/resources/