The theory and practice of strictness analysis for higher order functions (1986)

by G L Burn, C Hankin, S Abramsky
Venue:Science of Computer Programming