A tested semantics for getters, setters, and eval in JavaScript
The Essence of JavaScript