_id,doi,title
8195,10.1007/978-3-030-53288-8_14,Refinement for structured concurrent programs