Algebras for some input/output semantics | lit.salon