@inproceedings{sarkar+:ottbinding,
  author =       {Susmit Sarkar and 
                  Peter Sewell and 
                  Zappa Nardelli, Francesco},
  title =        {Specifying real-world binding structures},
  booktitle =    {2nd Informal ACM SIGPLAN Workshop on Mechanizing Metatheory
(Freiburg), in conjunction with ICFP},
  year =         {2007},
  month =        oct,
}