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

by R Gluck
Venue:Logic Program Synthesis and Transformation. Proceedings, LNCS 1048, 234--251