Strictness Analysis for Higher Order Functions - Burn, G; Hankin, C; Abramsky, S (1986)