Analysis and ecient implementation of functional programs (1991)

by P Sestoft