A Space-Efficient Optimization of Call-by-Need. - Burton, F. Warren; Maurer, Dieter; Oberhauser, Hans-Georg; Wilhelm, Reinhard (IEEE Transactions on Software Engineering, 1987)