Chris George The RAISE Specification Langiage: A Tutorial. 238-319 1991 conf/fm/1991-2 VDM Europe (2) db/conf/fm/vdme1991-2.html#George91 http://dx.doi.org/10.1007/BFb0019998