Virginia NICULESCU
A Refinement Calculus Based on Domain Decomposition of Parallel Programs