Parallel Algorithm Derivation and Program TransformationRobert Paige, J.H. Reif, Ralph Wachter · First published 2007Open the Tome
