Algebraic system specification and development | lit.salon