Title: Eine deklarative Spezifikationsmethode zur Programmierung von Superrechnern