Functional techniques in concurrency by M. Massink