@inproceedings{CrespoK11,
  author    = {Juan Manuel Crespo and
               C{\'e}sar Kunz},
  title     = {A Machine-Checked Framework for Relational Separation Logic},
  booktitle = {SEFM},
  year      = {2011},
  pages     = {122-137}
}