Formelmanipulazion mit dem Computer Systeme und Algorithmen - Mätzel, Klaus (Academie, 1985)