_id,doi,title
4413,10.1145/774572.774592,Convertibility verification and converter synthesis: Two faces of the same coin