Deakstadieđáhus: From Algebra to Operational Semantics