Higher-order functions as decision trees: Taming a space monster (1994)

by J Hughes, S Hunt, C Runciman