@InProceedings{lk2004webverfase,
  author = 	 {Daniel R. Licata and Shriram Krishnamurthi},
  title = 	 {Verifying Interactive Web Progams},
  booktitle = 	 {IEEE International Symposium on Automated Software Engineering},
  year = 	 {2004},
  publisher = {IEEE Press},
}

@Misc{l2004webverfthesis,
  author = 	 {Daniel R. Licata},
  title = 	 {Verifying Interactive Web Programs},
  howpublished = {Brown University Undergraduate Honors Thesis},
  year = 	 {2004},
}