[PPT] - Rule Formats for Structural Operational Semantics A Very Short PowerPoint Presentation