Parallel Program Design a Foundation - Chandy K. M. K. Mani (New York, Addison-Wesley Publishing Company, 1989)