Functional techniques in concurrency door M. Massink