J.Misra: Parallel program design: a foundation (1988)

by K Chandy