Title: Algebraische Spezifikation
Subjects: Spezifikation <EDV>, Computeralgebra, Algebra