@article{yang_relational_separation_2007,
 title = {Relational separation logic},
 author = {Yang, Hongseok},
 year = {2007},
 journal = {Theoretical Computer Science},
 volume = {375},
 number = {1--3},
 pages = {308--334},
 note = {Transported Benton's Relational Hoare Logic to the separation-logic setting.}
}