A Communicating Sequential Process Language and Implementation. - T. J. Roper; Chris J. Barter (Softw. Pract. Exp., 1981)