Obsidian: Typestate and Assets for Safer Blockchain Programming[J] ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS 2020(42) Coblenz, Michael Oei, Reed Etzel, Tyler Koronkevich, Paulette Baker, Miles Bloem, Yannick Myers, Brad A. Sunshine, Joshua Aldrich, Jonathan
