_id,doi,title 10908,10.1007/978-3-642-17511-4_7,ABC: Algebraic Bound Computation for loops