@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",
}