TY  - RPRT
TI  - Thirty-seven years of relational Hoare logic: remarks on its principles and history
AU  - David A. Naumann
PY  - 2022
UR  - https://arxiv.org/abs/2007.06421
ID  - 2007.06421
ER  -