DOI,IST REx ID,Title of publication
10.1007/3-540-45465-9_55,4471,Synthesis of uninitialized systems