Maraist, Odersky, Turner, Wadler, 1999. Call-by-name, call-by-value, call-by-need and the linear lambda calculus 228.. https://doi.org/10.1016/s0304-3975(98)00358-2