"Parallel Algorithm Derivation and Program Transformation" - читать интересную книгу автора (Robert Paige, J.H. Reif, Ralph Wachter)