@inproceedings{ecoop10refactoring,
  title = "Correct Refactoring of Concurrent Java Code",
  author = "Max Sch\"afer and Julian Dolby and Manu Sridharan and Frank Tip and Emina Torlak",
  year = "2010",
  booktitle = "European Conference on Object-Oriented Programming (ECOOP)",
  editor = "Theo D'Hondt",
  publisher = "Springer-Verlag",
}