@InProceedings{khatchad-splat07,
	author = {Raffi Khatchadourian and Neelam Soundarajan},
	title = {Rely-guarantee approach to reasoning about aspect-oriented
		programs},
	booktitle = {Proceedings of the 5th workshop on Engineering
		properties of languages and aspect technologies},
	year = {2007},
	isbn = {1-59593-656-1},
	pages = {5},
	address = {Vancouver, British Columbia, Canada},
	doi = {http://doi.acm.org/10.1145/1233843.1233848},
	publisher = {ACM Press},
	address = {New York, NY, USA},
}