@inproceedings{<a href="http://dblp.uni-trier.de/db/about/bibtex.html">DBLP</a>:conf/oopsla/MayerHRTS12,
  author    = {Clemens Mayer and
               Stefan Hanenberg and
               Romain Robbes and
               {\'E}ric Tanter and
               Andreas Stefik},
  title     = {An empirical study of the influence of static type systems
               on the usability of undocumented software},
  booktitle = {OOPSLA},
  year      = {2012},
  pages     = {683-702},
  ee        = {http://doi.acm.org/10.1145/2384616.2384666},
  crossref  = {DBLP:conf/oopsla/2012},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{<a href="http://dblp.uni-trier.de/db/about/bibtex.html">DBLP</a>:conf/oopsla/2012,
  editor    = {Gary T. Leavens and
               Matthew B. Dwyer},
  title     = {Proceedings of the 27th Annual ACM SIGPLAN Conference on
               Object-Oriented Programming, Systems, Languages, and Applications,
               OOPSLA 2012, part of SPLASH 2012, Tucson, AZ, USA, October
               21-25, 2012},
  booktitle = {OOPSLA},
  publisher = {ACM},
  year      = {2012},
  isbn      = {978-1-4503-1561-6},
  ee        = {http://dl.acm.org/citation.cfm?id=2384616},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}