Parallel Program Design: A Foundation

K. Mani Chandy , Jayadev Misra