The theory and practice of transforming call-by-need into call-by-value - Mycroft, Alan (1981)