Scripting a refactoring with Rascal and Eclipse
A refactoring constraint language and its application to eiffel