Algebraic System Specification and Development | lit.salon