@inproceedings{conf/popl/Wand93,
  added-at = {2012-05-21T00:00:00.000+0200},
  author = {Wand, Mitchell},
  biburl = {http://www.bibsonomy.org/bibtex/2820be338fc615596402b9c762d0380fb/dblp},
  booktitle = {POPL},
  crossref = {conf/popl/1993},
  editor = {Deusen, Mary S. Van and Lang, Bernard},
  ee = {http://doi.acm.org/10.1145/158511.158614},
  interhash = {158422f543ef48c05ee2d67adcd10363},
  intrahash = {820be338fc615596402b9c762d0380fb},
  isbn = {0-89791-560-7},
  keywords = {dblp},
  pages = {137-143},
  publisher = {ACM Press},
  timestamp = {2012-05-21T00:00:00.000+0200},
  title = {Specifying the Correctness of Binding-Time Analysis.},
  url = {http://dblp.uni-trier.de/db/conf/popl/popl93.html#Wand93},
  year = 1993
}