Algebraic Foundations of Systems Specification | lit.salon