Coppola, Lago, Rocca, 2005. Elementary Affine Logic and the Call-by-Value Lambda Calculus, in: . Springer Berlin Heidelberg.. https://doi.org/10.1007/11417170_11