Ein Mustervergleichsverfahren zur Anwendung in der Formelmanipulation. - Manfred Bernd Glowka (1981)