A calculus of communicating systems (1980)

by R Milner