Communication and concurency - Milner, Robin (Prentice-Hall, Inc, 1989)