Ein System zum formalen Umformen mathematische Ausdrücke mit Hilfe von Rechenautomaten. - Vogel, Eberhard (1971)