INFO:
Slides Small Step Semantics (PDF) .
Small Step Semantics