@article{refactoringpm,
  title = "Refactoring Pattern Matching",
  author = "Meng Wang and Jeremy Gibbons and Kazutaka Matsuda and Zhenjiang Hu",
  year = "2012",
  journal = "Science of Computer Programming",
  month = "January",
  note = "Revised version of the MPC2010 paper "Gradual Refinement"",
  number = "11",
  pages = "2216-2242",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/refactoringpm.pdf",
  volume = "78",
  doi = "10.1016/j.scico.2012.07.014",
}