Natural Semantics: An example showing how to use natural semantics to derive the value of an expression.

Download Source