Hans-Georg Oberhauser

On the correspondence of lambda style reduction and combinator style reduction

Hans-Georg Oberhauser, 1986, Graph Reduction.

Graphreduktion für funktionale Sprachen, Vergleich und Synthese zweier Reduktionsmechanismen

Hans-Georg Oberhauser, 1988 .

Complied Graph Reduction on a Processor Network

Fritz Müller, Reinhard Wilhelm, Dieter Maurer, 1988, ARCS.

A Space-Efficient Optimization of Call-by-Need

F. Warren Burton, Reinhard Wilhelm, Dieter Maurer, 1987, IEEE Transactions on Software Engineering.