Petra Brosch Martina Seidl Konrad Wieland Manuel Wimmer Philip Langer The operation recorder: specifying model refactorings by-example. 791-792 2009 OOPSLA Companion http://doi.acm.org/10.1145/1639950.1640017 conf/oopsla/2009c db/conf/oopsla/oopsla2009c.html#BroschSWWL09a