NielsonN88'

@inproceedings{DBLP:conf/popl/NielsonN88,
  author    = {Hanne Riis Nielson and
               Flemming Nielson},
  title     = {Automatic Binding Time Analysis for a Typed Lambda-Calculus},
  booktitle = {POPL},
  year      = {1988},
  pages     = {98-106},
  ee        = {http://doi.acm.org/10.1145/73560.73569},
  crossref  = {DBLP:conf/popl/1988},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/popl/1988,
  editor    = {Jeanne Ferrante and
               P. Mager},
  title     = {Conference Record of the Fifteenth Annual ACM Symposium
               on Principles of Programming Languages, San Diego, California,
               USA, January 10-13, 1988},
  booktitle = {POPL},
  publisher = {ACM Press},
  year      = {1988},
  isbn      = {0-89791-252-7},
  ee        = {http://dl.acm.org/citation.cfm?id=73560},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}