Alberto Pravato Simona Ronchi Della Rocca Luca Roversi The call-by-value [lambda]-calculus: a semantic investigation. 617-650 1999 9 Mathematical Structures in Computer Science 5 db/journals/mscs/mscs9.html#PravatoRR99 http://journals.cambridge.org/action/displayAbstract?aid=44803