Safer smart contract programming with Scilla. - Ilya Sergey; Vaivaswatha Nagaraj; Jacob Johannsen; Amrit Kumar 001; Anton Trunov; Ken Chan Guan Hao (Proc. ACM Program. Lang., 2019)