_id,doi,title
4378,10.1007/978-3-642-11319-2_6,Building a calculus of data structures