_id,doi,title
2847,10.1007/978-3-642-36742-7_5,Structural Counter Abstraction