SMS: Algebraic semantics /