Formalizing program transformations (1998)

by Belmina Dzafic
Venue:DAIMI, Department of Computer Science, University of Aarhus