Deductive Derivation of Parallel Programs (1993)

by P Pepper
Venue:Parallel Algorithm Derivation and Program Transformation