Algebraic semantics of imperative programs | lit.salon