Small-step operational semantics

Redirect to:

• Operational semantics#Structural operational semantics