@inproceedings{AriolaHerbelinSaurin11,
  author      = {Zena M. Ariola and Hugo Herbelin and Alexis Saurin},
  title       = {Classical Call-by-Need and Duality},
  booktitle   = {Typed Lambda Calculi and Applications - 10th International
                 Conference, TLCA 2011, Novi Sad, Serbia, June 1-3, 2011.
                 Proceedings},
  editor      = {C.-H. Luke Ong},
  pages       = {27-44},
  publisher   = {Springer},
  series      = {Lecture Notes in Computer Science},
  volume      = {6690},
  year        = {2011},
  ee          = {http://dx.doi.org/10.1007/978-3-642-21691-6_6},
}