DOI,IST REx ID,Title of publication
10.1145/1450058.1450070,4533,Interface theories with component reuse