Parallel Algorithm Derivation And Program Transformation by Robert A. Paige & Robert Paige