1. Blockchain abstract data type;Anceaume,2019
2. Hyperledger fabric: a distributed operating system for permissioned blockchains;Androulaki,2018
3. Channels: horizontal scaling and confidentiality on permissioned blockchains;Androulaki,2018
4. Formalizing and implementing distributed ledger objects;Anta;SIGACT News,2018
5. Atomic appends: selling cars and coordinating armies with multiple distributed ledgers;Anta,2019