Algebraic Foundations of Systems Specification (Ifip State-of-the-Art Reports) | lit.salon