Path analysis: using order-of-evaluation information to optimize lazy functional languages (1989)

by A Bloss