Functions as Processes", LNCS (1990)

by R Milner