Formelmanipulation mit dem Computer : Systeme und Algorithmen - Maetzel, Klaus; Nehrkorn, Klaus (Informatik, Kybernetik, Rechentechnik, 1985)