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