@inproceedings{finifter08functionalpurity,
 author = {Matthew Finifter and Adrian Mettler and Naveen Sastry and David Wagner},
 title = "{Verifiable Functional Purity in Java}",
 booktitle = "{Proceedings of the 15th ACM Conference on Computer and Communications Security}",
 year = {2008},
 isbn = {978-1-59593-810-7},
 pages = {161--174},
 location = {Alexandria, VA},
 publisher = {ACM},
 address = {New York, NY}
 }