How To Uniformly Specify Program Analysis and Transformation (1996)

by U Assmann
Venue:Internationational Conference on Compiler Construction (CC’96