Stav dette: Formal methods for concurrency / Clive Fencott.