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