Call-by-need = call-by-value + conditional - Mycroft, Alan (1981)