Hans-Georg Oberhauser: Graphreduktion für funktionale Sprachen, Vergleich und Synthese zweier Reduktionsmechanismen. Saarland University, Saarbrücken, Germany 1988, 1-125