Parallel Program Design: A Foundation (1988)

by K M Chandy, J Misra