DOI,IST REx ID,Title of publication
10.48550/arXiv.1910.10434,8315,Divide and scale: Formalization of distributed ledger sharding protocols