The program transformation system CIP-S The Munich project CIP / A. Horsch... [et al.]

The Munich project CIP / A. Horsch... [et al.] . - München : Institut für Informatik of the Technische Universitat München, 1985-19-- . - v. 21 cm . - (TUM; I8509) . -
vol.2, part 1 : The program transformation system CIP-S : formal specification. - 1985. - 208 p.
519.68