@inproceedings{popl05interfaces,
 author = {Rajeev Alur and Pavol {\v C}ern{\'y} and P. Madhusudan and Wonhong Nam},
 title = {Synthesis of interface specifications for Java classes},
 booktitle = {POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of Programming Languages},
 year = {2005},
 isbn = {1-58113-830-X},
 pages = {98--109},
 location = {Long Beach, California, USA},
 doi = {},
 publisher = {ACM Press},
 }