Strictness analysis --- a practical approach, "Second conf. on functional programming languages and computer architecture, LNCS 201 (1985)

by C Clack, S L Peyton Jones