A Calculus of Communicating Systems, volume 92 of LNCS (1980)

by R Milner