| dissertation = Algebraische Spezifikationen mit Nichtdeterminismus aus der Sicht der universellen Algebra <!-- Titel der Dissertation (wird als Querverweis verwendet)--> | | dissertation = Algebraische Spezifikationen mit Nichtdeterminismus aus der Sicht der universellen Algebra <!-- Titel der Dissertation (wird als Querverweis verwendet)--> |