@inproceedings{splash10refactoring,
  title = "Specifying and Implementing Refactorings",
  author = "Max Sch\"afer and Oege de Moor",
  year = "2010",
  booktitle = "Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH)",
  editor = "Martin Rinard",
  publisher = "ACM Press",
}