_id,doi,title
4560,10.1007/11560548_7,Verifying quantitative properties using bound functions