Parallel algorithm derivation and program transformation | lit.salon