@InProceedings{HarmerLaurent06,
  author    = {Russ Harmer and Olivier Laurent},
  title     = {The anatomy of innocence revisited},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science '06},
  editor    = {S. Arun-Kumar and Naveen Garg},
  series    = {Lecture Notes in Computer Science},
  volume    = {4337},
  pages     = {224--235},
  publisher = {Springer},
  month     = dec,
  year      = {2006}
}