Maraist, et al.. Call-by-name, Call-by-value, Call-by-need and the Linear Lambda Calculus. no. 1-2, Elsevier BV, 1999, doi:10.1016/s0304-3975(98)00358-2.