George, Chris, et al "The RAISE Specification Language", P-H 1992, ISBN 0-13-752833-7.

Languages mentioned

• RSL {1992}