_id,doi,title
160,10.1007/978-3-319-96145-3_5,Layered Concurrent Programs