Title: Spezifikation mathematischer Rechenstrukturen und Typenpolymorphismen in der Computeralgebra