Eine Progammierumgebung für verteiltes PEARL. Codeerzeugung mittels Programmsynthese. - Kragl, Gudrun (Arbeitsberichte des Instituts für Mathematische Maschinen und Datenverarbeitung <Informatik>, 1986)