Transitions and Trees: An Introduction to Structural Operational Semantics