_id,doi,title
4403,10.1007/978-3-642-04027-6_9,Algorithmic analysis of array-accessing programs