Functional Development of Massively Parallel Programs (Invited Paper). - Peter Pepper; Jürgen Exner; Mario Südholt (Formal Methods in Programming and Their Applications, 1993)

Funktionale Programmierung für massiv parallele Systeme. - Peter Pepper; Jürgen Exner; Mario Südholt (GI Jahrestagung, 1993)