@INPROCEEDINGS {
	AUTHOR = "Ismael Figueroa and Tom Schrijvers and Nicolas Tabareau and {\'E}ric Tanter",
	TITLE = "Compositional Reasoning about Aspect Interference",
	BOOKTITLE = "13th International Conference on Modularity (Modularity)",
	PAGES = "133-144",
	MONTH = "Apr",
	YEAR = "2014",
	ADDRESS = "Lugano, Switzerland",
	PUBLISHER = "ACM Press",
	}