RAISE Specification Language. (RAISE = Rigorous Approach to
Industrial Software Engineering). A wide-spectrum
specification and design language developed by
ESPRITProject 315 at
CRI A/S, Denmark. Systems may be modular,
or concrete.
["The RAISE Specification Language", RAISE Language Group, P-H
1992, ISBN 0-13-752833-7].