4.

Boiten, E. A.; Geerling, A. M.; Partsch, H. A.
Transformational derivation of (parallel) programs using skeletons
Proceedings of the ERCIM Workshop on Development and Transformation of Programs, INRIA, Nancy
November 1993

3.

Partsch, Helmuth
Formal Problem Specification on an Algebraic Basis
In Möller, B. and Partsch, H. and Schuman, S., Editor, Formal Program Development: IFIP TC2 State-of-the-Art Report Band 755 aus Lecture Notes in Computer Science
Seite 183-224
Herausgeber: Springer-Verlag
1993
183-224

2.

Formal Program Development: IFIP TC2 State-of-the-Art Report
In Möller, B. and Partsch, H. and Schuman, S., Editor, Band 755 aus Lecture Notes in Computer Science
Herausgeber: Springer-Verlag
1993

1.

Partsch, Helmuth
Some Experiments in Transformaing Towards Parallel Executability
In Paige, R. and Reif, J. and Wachters, R., Editor, Parallel Algorithm Derviation and Program Transformation
Herausgeber: Kluwer Academic Publishers
1993