"The Logic of the RAISE Specification Language."

Chris George, Anne Elisabeth Haxthausen (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics