Communication and Concurrency (1995)

by Robin Milner