Ruhroth, Thomas: Generische Refactoring-Spezifikation für Korrektheitsbeweise in mehrsichtigen Modellsprachen. 2011
Inhalt