DOI,IST REx ID,Research Group,Title of publication
10.15479/at:ista:1405,1405,"ToHe,GradSch",Analysis of dynamic message passing programs