@mastersthesis{elroy10msc,
  title = {Using {Q}uick{C}heck and Semantic Analysis to Verify Correctness of {E}rlang Refactoring Transformations},
  author = {Elroy Jumpertz},
  school = {Radboud University Nijmegen, The Netherlands and ELTE, Budapest, Hungary},
  year = {2010},
}