The program transformation system CIP-S

I : Introduction.- II : The transformation calculus.- III : Formal specification.- IV : Formal development of selected system functions.- V : Transformation rules.- VI : A sample instantiation of the system for a concrete language.