Communication and concurrency - Milner, Robin (Prentice-Hall international series in computer science, 1989)