@InProceedings{itb11jpis,
author = {Milton Inostroza and \'Eric Tanter and Eric Bodden},
title = {Join Point Interfaces for Modular Reasoning in Aspect-Oriented Programs},
booktitle = {ESEC/FSE '11: Joint meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering},
year = {2011},
pages = {508--511},
url = {https://www.bodden.de/pubs/itb11jpi.pdf},
}