Stichwörter: transputer network; spmd program executable; o parix; numerical twodimensional sparse grid integration; high-level functional specification; message passing; 64-transputer network; equivalent parallel program; parallel program development; experimental performance measurement; formal transformation; divide-and-conquer algorithm; bird-meertens formalism; parallel functional implementation; recursive specification;