@book {hoare_communicating_1985,
	title = {Communicating {Sequential} {Processes}},
	year = {1985},
	note = {n/a},
	publisher = {Prentice Hall International},
	organization = {Prentice Hall International},
	address = {London},
	abstract = {n/a},
	author = {Hoare, C. A. R.}
}
