Strictness analysis for higher order functions (1986)

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