Algebraic specification for practical software production | lit.salon