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