DOI,IST REx ID,Title of publication
10.1145/1993806.1993850,761,"Optimal-time adaptive strong renaming, with applications to counting"