@inproceedings{bodden12typesafe,
	author = {Eric Bodden},
	title = {Towards Typesafe Weaving for Modular Reasoning in Aspect-Oriented Programs},
    booktitle = {FOAL '12: International Workshop on the Foundations of Aspect-Oriented Languages},
	month = mar,
	year = {2012},
	note = {Keynote abstract.},
	isbn = {978-1-4503-1099-4},
	url = {https://www.bodden.de/pubs/bodden12typesafe.pdf},
	annote = {an VGWort gemeldet},
}