Formelmanipulation mit dem Computer : Systeme und Algorithmen - Maetzel, Klaus; Nehrkorn, Klaus (Berlin : Akademie Verlag, 1985)