@misc{Sabel2018,
  author    = {David Sabel},
  title     = {Automating the diagram method to prove correctness of program transformations},
  booktitle = {EasyChair Preprint ; No. 415},
  doi       = {10.29007/vrxp},
  url       = {https://easychair.org/publications/preprint/5xRB},
  institution = {Informatik},
  type      = {workingpaper},
  pages     = {16},
  year        = {2018},
}