Source : Free On-Line Dictionary of Computing

RSL
     
        RAISE Specification Language.  (RAISE = Rigorous Approach to
        Industrial Software Engineering).  A wide-spectrum
        specification and design language developed by {ESPRIT}
        Project 315 at {CRI} A/S, Denmark.  Systems may be modular,
        {concurrent}, {nondeterministic}.  Specifications may be
        {applicative} or {imperative}, explicit or implicit, abstract
        or concrete.
     
        ["The RAISE Specification Language", RAISE Language Group, P-H
        1992, ISBN 0-13-752833-7].