Program transformations and skeletons: formal derivation of parallel programs (1994)

by M Geerling