Specification of a Simplified Network Service in CSP - Hoare, C; Morgan, C (Springer−Verlag, 1985)