@inproceedings{benton_relational_2004,
 title = {Simple relational correctness proofs for static analyses and program transformations},
 author = {Benton, Nick},
 year = {2004},
 booktitle = {Proceedings of the 31st {ACM} {SIGPLAN}-{SIGACT} {Symposium} on {Principles} of {Programming} {Languages} ({POPL})},
 note = {Coined the term Relational Hoare Logic, and applied it to compiler correctness.}
}