The RAISE specification language /
RAISE Language Group.
New York ; London : Prentice-Hall,
1992.