RAISE Specification Language Type Checker
