@INPROCEEDINGS {
	AUTHOR = "Milton Inostroza and {\'E}ric Tanter and Eric Bodden",
	TITLE = "Join Point Interfaces for Modular Reasoning in Aspect-Oriented Programs",
	BOOKTITLE = "19th ACM SIGSOFT Symposium on Foundations of Software Engineering (FSE)",
	PAGES = "508-511",
	MONTH = "Sep",
	YEAR = "2011",
	PUBLISHER = "ACM Press",
	ISBN = "978-1-4503-0443-6",
	NOTE = "New Ideas Track",
	}