Formalizing Distributed Ledger Objects | Publicación