TY  - RPRT
TI  - Automating the Diagram Method to Prove Correctness of Program Transformations
AU  - David Sabel
PY  - 2019
DO  - 10.4204/eptcs.289.2
UR  - https://arxiv.org/abs/1902.08420
ID  - 1902.08420
ER  -