Communication and concurrency - Milner, Robin (Prentice Hall, 1989)