"The RAISE Specification Langiage: A Tutorial."

Chris George (1991)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics