@inproceedings{ pure-ccs08,
  author = "Matthew Finifter and Adrian Mettler and Naveen Sastry and David Wagner",
  title = "Verifiable Functional Purity in Java", 
  booktitle = "15th ACM Conference on Computer and Communication Security (CCS 2008)",
  month = "October",
  year = 2008 }