Konstruktion induktiv geordneter Modelle aus algebraischen Spezifikationen - Kempf, Peter; Schmidt, Gunther 1939-; Winter, Michael (Univ. der Bundeswehr München, Fakultät für Informatik, 1998)
Keywords: Semantik; Algebraische Spezifikation; Softwareentwicklung