@phdthesis{schaeferthesis,
  title = "Specification, Implementation and Verification of Refactorings",
  author = "Max Sch\"afer",
  year = "2010",
  institution = "Oxford University Computing Laboratory",
  url = "http://progtools.comlab.ox.ac.uk/members/xiemaisi/thesis",
}