A calculus of communicating systems, LNCS92 (1980)

by R Milner