DOI,IST REx ID,Title of publication
10.1007/978-3-540-27864-1_2,4578,The BLAST query language for software verification