@misc{indiciae5e43274f769a,
  title = {Trustworthy Refactoring via Decomposition and Schemes: A Complex Case Study},
  author = {Dániel Horpácsi and Judit Kőszegi and Zoltán Horváth},
  year = {2017},
  doi = {10.4204/eptcs.253.8},
  url = {https://arxiv.org/abs/1708.07225},
  note = {Source identifier: 1708.07225}
}