On the mechanics of metasystem hierarchies in program transformation (1996)

by R Glück
Venue:Logic Program Synthesis and Transformation. Proceedings, LNCS 1048