@inproceedings{conf/birthday/Harel12,
  added-at = {2012-05-13T00:00:00.000+0200},
  author = {Harel, David},
  biburl = {http://www.bibsonomy.org/bibtex/276ed84a274b81e9ac12dda344d27fb90/dblp},
  booktitle = {Logic and Program Semantics},
  crossref = {conf/birthday/2012kozen},
  editor = {Constable, Robert L. and Silva, Alexandra},
  ee = {http://dx.doi.org/10.1007/978-3-642-29485-3_24},
  interhash = {cb6e8304140e7e6e926c853dc9ff1b25},
  intrahash = {76ed84a274b81e9ac12dda344d27fb90},
  isbn = {978-3-642-29484-6},
  keywords = {dblp},
  pages = {326-327},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2012-05-13T00:00:00.000+0200},
  title = {Dexter Kozen: A Winning Combination of Brilliance, Depth, and Elegance.},
  url = {http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#Harel12},
  volume = 7230,
  year = 2012
}