Parallel program design. : A foundation. - Chandy, Mani K.; Misra, Jayadev (Addison-Wesley Publishing Co., 1989)