The Design of Communicating Systems by C.J. Koomen