How to Uniformly specify Program Analysis and Transformation (1996)

by U Assmann
Venue:Proceedings of the 6 International Conference on Compiler Construction (CC) '96, LNCS 1060