Parallel program design:a foundation - Misra, Jayadev; Chandy, Mani K (Addison-Wesley Publishing Company, 1989)