Process Algebra for Parallel and Distributed Processing by Michael Alexander & William Gardner