Head-Order Techniques and Other Pragmatics of Lambda Calculus Graph Reduction door Nikos B. Troullinos