Inhaltsverzeichnis
1. Abstrakte Strukturen. - 2. Gleichungen, Spezifikationen. - 3. Rechnungen in Gleichungssystemen. - 4. Erweiterungen von Gleichungsspezifikationen. - 5. Finale Semantik. - 6. Behandlung von Ausnahmezuständen. - 7. Implementierungen von Gleichungsspezifikationen. - 8. Abstrakte Software-Spezifikationen. - 9. Korrektheit von Spezifikationen. - 10. Parametrisierte Spezifikationen. - 11. Praktischer Einsatz algebraischer Spezifikationen. - 12. Anwendungsbeispiel. - 13. Lösungen zu den Aufgaben. - 14. Bibliographie. - 15. Stichwortverzeichnis.