G. Denker;M. Gogolla
-;-
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications