DOI,IST REx ID,Title of publication
10.1145/1040305.1040314,4404,Synthesis of interface specifications for Java classes