Communication and concurrency - Milner Robin (N Y Prentice Hall, 1989)
Keywords: Computer science