Formalizing and Implementing Distributed Ledger Objects | Publicación