Eberhard Vogel: Ein System zum formalen Umformen mathemathischer Ausdrücke mit Hilfe von Rechenautomaten. Computing 6(1-2): 173-190 (1970)