_id,doi,title
7411,10.1007/978-3-030-17656-3_10,Reversible proofs of sequential work