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

by P B Levy, J Power, H Thielecke
Venue:Inform. and Comput