Using RAISE - First Impressions from the LaCoS Applications. - D. L. Chalmers; Bent Dandanell; Jesper Gørtz; Jan Storbank Pedersen; Eld Zierau 001 (VDM Europe (1), 1991)

Experience from Applications of RAISE. - Bent Dandanell; Jesper Gørtz; Jan Storbank Pedersen; Eld Zierau 001 (FME, 1993)

Specifying Safety and Progress Properties with RSL. - Jesper Gørtz (FME, 1994)