Operational semantics

For example: