DOI,IST REx ID,Title of publication
10.1007/3-540-46419-0_21,4433,Fair bisimulation