@phdthesis{thesis,
  title = "Formal Relationships in Sequential Object Systems",
  author = "Eric Kerfoot",
  year = "2010",
}
@inproceedings{aspects10,
  title = "Checking Concurrent Contracts with Aspects",
  author = "Eric Kerfoot and Steve McKeever",
  year = "2010",
  booktitle = "Proceedings of the 25th Annual Symposium On Applied Computing",
  month = "March",
}
@inproceedings{iwaco09,
  title = "Deadlock Freedom Through Object Ownership",
  author = "Eric Kerfoot and Steve McKeever and Faraz Torshizi",
  year = "2009",
  booktitle = "5rd International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with ECOOP 2009",
  editor = "Tobias Wrigstad",
  month = "July",
}
@inproceedings{iwaco07,
  title = "Maintaining Invariants Through Object Coupling Mechanisms",
  author = "Eric Kerfoot and Steve McKeever",
  year = "2007",
  booktitle = "3rd International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with ECOOP 2007",
  editor = "Tobias Wrigstad",
  month = "July",
}
@inproceedings{espec06,
  title = "Automated Model-based Verification of Object-Oriented Code",
  author = "J. S. Ostroff and C. Wang and E. Kerfoot and F. A. Torshizi",
  year = "2006",
  booktitle = "Verified Software: Theories, Tools, Experiments (VSTTE  Workshop, Floc 2006)",
  publisher = "Microsoft Research MSR-TR-2006-117",
}