Some experiments in transforming towards parallel executability (1993)

by H Partsch
Venue:Parallel Algorithm Derivation and Program Transformation