Nichtdeterministische algebraische Spezifikationen - Hußmann, Heinrich 1959-2022 (1989)