Return to Article Details The Logic of the RAISE Specification Language Download Download PDF