_id,doi,title
4399,10.1007/978-3-540-73368-3_4,Algorithms for interface synthesis