Integrating lazy evaluation in strict ML (1991)

by M Mauny