Backwards analysis of functional programs (1987)

by R J M Hughes