A new perspective on partial evaluation and use analysis. - Morris J. Katz (1998)