Communication and concurency - Milner, Robin (International Series in Computer Science / Prentice-Hall Inc.., 1989)