DOI,IST REx ID,Title of publication
10.1007/978-3-642-15763-9_9,754,Fast randomized test-and-set and renaming