Rules and Strategies for Program Transformation (1993)

by A Pettorossi, M Proietti
Venue:In “State-of-the-Art Seminar on Program Specification and Transformation” Rio de Janeiro