@inproceedings {Molderez:2012:DCA:2162010.2162015,
	title = {Design by Contract for Aspects, by Aspects},
	journal = {Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages},
	year = {2012},
	note = {Errata:

- Near the end of Sec. 4, when explaining the adv-around rule: "The advice{\textquoteright}s precondition is first checked; we then check whether the precondition is equal or weaker than the static type{\textquoteright}s (t") precondition." 
This should be the opposite order: The precondition of t" is checked before that of t. (which is shown correctly in Fig. 3)},
	pages = {9{\textendash}14},
	publisher = {ACM},
	address = {New York, NY, USA},
	keywords = {aspect-oriented programming, run-time contract enforcement, substitutability},
	isbn = {978-1-4503-1099-4},
	doi = {10.1145/2162010.2162015},
	url = {http://doi.acm.org/10.1145/2162010.2162015},
	author = {Molderez, Tim and Dirk Janssens}
}
