"Rewriting Logic Semantics and Verification of Model Transformations."

Artur Boronat, Reiko Heckel, José Meseguer (2009)
a service of Schloss Dagstuhl - Leibniz Center for Informatics