T Jim [1996], "Shrinking Lambda-Expressions in Linear Time (1996)

by AW Appel