Text this: Parallel algorithm derivation and program transformation edited by Robert Paige, John Reif, Ralph Wachter. [electronic resource] /