Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)

by R Milner