Konstruktion induktiv geordneter Modelle aus algebraischen Spezifikationen - Kempf, Peter; Schmidt, Gunther 1939-; Winter, Michael (Bericht, 1998)