Liu, J., Traynor, O., Lynenskjøld, S.: Guided Tour of the PROSPECTRA System. in: [Hoffmann, B., Krieg-Brückner, B.(eds.): PROgram Development by Specification and Transformation, The PROSPECTRA Methodology, Language Family, and System. LNCS 680 (1993) 331-366. (1993) |