Einige Techniken der Formelmanipulation für den rechnergestützten Unterricht - Mayr, Heinrich Christian 1948- (1974)