1. The RAISE Language Group: The RAISE Specification Language, Prentice Hall (1992)
2. The RAISE Method Group: The RAISE Development Method, Prentice Hall (to appear)
3. P.M. Bruun et. al: RAISE Tools Reference Manual, LACOS/CRI/DOC/13/0/V2 (1993)
4. D. Bolignano, M. Debabi: Higher order communicating processes with valuepassing, assignment and return of results, Proceedings of the ISAAC'92 Conference, LNCS 650. Springer Verlag (1992)
5. C. George, R. Milne: Specifying and refining concurrent systems. In: C. Morgan, J.C.P. Woodcock (eds): 3rd Refinement Workshop, Springer Verlag (1990)