@Inproceedings{EPTCS289.2,
  author    = {Sabel, David},
  year      = {2019},
  title     = {Automating the Diagram Method to Prove Correctness of Program Transformations},
  editor    = {Niehren, Joachim and Sabel, David},
  booktitle = {{\rm Proceedings Fifth International Workshop on}
               Rewriting Techniques for Program Transformations and Evaluation,
               {\rm Oxford, England, 8th July 2018}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {289},
  publisher = {Open Publishing Association},
  pages     = {17-33},
  doi       = {10.4204/EPTCS.289.2},
}