@INPROCEEDINGS{pratikakis:tphols08,
  AUTHOR = {Polyvios Pratikakis and Jeffrey S. Foster and Michael Hicks and Iulian Neamtiu},
  TITLE = {Formalizing Soundness of Contextual Effects},
  BOOKTITLE = {Proceedings of the International Conference on Theorem Proving in Higher Order Logics (TPHOLs)},
  MONTH = AUG,
  YEAR = 2008,
}