Parallel Algorithm Derivation and Program Transformation - Paige, Robert; Reif, John; Watcher, Raplh (Springer US, 1993)