Semantics and Algebraic Specification | lit.salon