DOI,IST REx ID,Title of publication
10.1145/503272.503279,4476,Lazy abstraction