A Calculus of Communicating Systems. Number 92 (1980)

by R Milner