Paul Blain Levy John Power Hayo Thielecke Modelling environments in call-by-value programming languages. 182-210 2003 185 Inf. Comput. 2 http://dx.doi.org/10.1016/S0890-5401(03)00088-9 db/journals/iandc/iandc185.html#LevyPT03