The theory and practice of transforming call-by-need into call-byvalue (1980)

by Alan Mycroft
Venue:In Proceeding of the 4th International Symposium on Programming, LNCS 83