"A Graph-Like Lambda Calculus for Which Leftmost-Overmost Reduction is Optimal."

John Staples (1978)
a service of Schloss Dagstuhl - Leibniz Center for Informatics