In den vergangenen Jahren wurde die Programmierung van Rechentmlagen als diejenige Disziplin erkannt, deren Beherrschung grundlegend und entscheidend rür den Erfolg vieler Entwicklungsprojekte ist und die wissenschaftlieher Behandlung und Darlegung zugänglieh isl Vom Handwerk stieg sie zur akademischen Disziplin auf. Die ersten hervorragenden Beiträge zu dieser Entwicklung wurden von E. W. Dijkstra und C. A. R. Hoare geliefert Dijkstra's Notes on Structured Progranuning [6] rührten zu einer neuen Betrachtung der Programmierung als wissenschaftliehes Thema und als intellektuelle Herausforderung. Sie bahnten den Weg zu einer "Revolution" in der Programmierung [35]. Hoare's An Axiomatic Basis/or Computer Programming [10] zeigte deutlich, dass Progamme einer exakten Analyse nach mathematischen Grundsätzen zugänglich sind. Beide Artikel argumentieren überzeugend, dass viele Programmierfehler vermieden werden können, wenn man den Programmierem die Methoden und Techniken, die sie bisher intuitiv und oft unbewusst verwendeten, zur Kenntnis bringl Diese Artikel konzentrierten sieh auf die Aspekte des Aufbauens und Analysierens von Programmen oder, genauer ausgedrückt, auf die Struktur der durch die Progammtexte dargestellten Algorithmen. & ist jedoch völlig klar, dass ein systematisches und wissenschaftliehes Angehen der Konstruktion von Programmen seine grösste Wirkung im Fall grosser komplexer Programme hat, die komplizierte Datenmengen bearbeiten. Folglich muss eine Methodik des Programmierens aueh alle Aspekte der Datenstrukturierung behandeln. Prograrnme sind letztlieh konkrete Formulierungen abstrakter Algorithmen, die sieh auf bestimmte Darstellungen und Datenstrukturen stützen. Einen wesentliehen Beitrag, Ordnung in die verwirrende Vielfalt der Terminologie und Konzepte von Datenstrukturen zu bringen, leistete Hoare durch seine Noles on Datil Structuring [13].