Kerridge, Jon, Simpson, Dan, "Communicating parallel processes", Software: Practice and Experience, 1986