Abstracting Refinements for Transformation (2003)

by Einar Broch Johnsen, Christoph Lüth
Venue:Nordic Journal of Computing