@inproceedings{aspects10,
  author = "Eric Kerfoot, Steve McKeever",
  booktitle = "Proceedings of the 25th Annual Symposium On Applied Computing",
  month = "March",
  title = "Checking Concurrent Contracts with Aspects",
  year = "2010",
}