Title: Eine Theorie zur graphischen Visualisierung algebraischer Spezifikationen