@book{Motzer2019,
  author    = {Renate Motzer},
  title     = {Algebraische Spezifikation mit Nichtdeterminismus aus der Sicht der universellen Algebra},
  isbn      = {978-3-8265-1195-0},
  year      = {2019},
}