Parallel program design : a foundation - Chandy, Mani K. (Addison-Wesley Publishing Company, Inc, 1988)