Flexible initialization of immutable objects. - Tyler Etzel (SPLASH (Companion Volume), 2016)

Obsidian: Typestate and Assets for Safer Blockchain Programming. - Michael J. Coblenz; Reed Oei; Tyler Etzel; Paulette Koronkevich; Miles Baker; Yannick Bloem; Brad A. Myers; Joshua Sunshine; Jonathan Aldrich (ACM Trans. Program. Lang. Syst., 2020)