A Calculus for communication processes (1980)

by R Milner