[PDF] - Algebraic results for structured operational semantics Vashti PDF Document