Algebraic specification | lit.salon