A Calculus of Communicating Systems, LNCS 92 (1980)

by R Milner