Roland Carl Backhouse;R. K. Lutz
-;-
Incremental execution of transformation specifications
Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages