DOI,IST REx ID,Title of publication
10.1145/774572.774592,4413,Convertibility verification and converter synthesis: Two faces of the same coin