_id,doi,title
2517,10.1007/978-3-642-39212-2_3,Formalizing and reasoning about quality