Selingerand Valiron. A Linear-non-linear Model for a Computational Call-by-value Lambda Calculus (extended Abstract). Springer Berlin Heidelberg, doi:10.1007/978-3-540-78499-9_7.