Communication and Concurrency (1989)

by R Milner