Modelling environments in call-by-value programming languages (2003)

by Paul Blain Levy, John Power, Hayo Thielecke