Parallel Program Design : A Foundation - Chandy, K.Mani; Misra, Jayadev (Addison-Wesley Publishing Company, 1988)