Stav dette: From Algebra to Operational Semantics