@article{coblenz-2020-obsidian, title={Obsidian: Typestate and Assets for Safer Blockchain Programming}, volume={42}, ISSN={1558-4593}, url={http://dx.doi.org/10.1145/3417516}, DOI={10.1145/3417516}, number={3}, journal={ACM Transactions on Programming Languages and Systems}, publisher={Association for Computing Machinery (ACM)}, author={Coblenz, Michael and Oei, Reed and Etzel, Tyler and Koronkevich, Paulette and Baker, Miles and Bloem, Yannick and Myers, Brad A. and Sunshine, Joshua and Aldrich, Jonathan}, year={2020}, month=Sept, pages={1–82} }