The environment-based operational semantics Chapter 4.3 1.
The environment-based operational semantics