Indra Adiono Tjandra

• Spezifikation mathematischer Rechenstrukturen und Typenpolymorphismen in der Computeralgebra