Algebraische Spezifikation mit Nichtdeterminismus aus der Sicht der universellen Algebra. - Renate Motzer (Shaker, 1996)