Parallel program design a foundation - Chandy, K. Mani (Reading Addison Wesley, 1988)