[3] Tezos project. Formal specification of the tezos smart contract language. http://www.tezos.com/language.txt, 2014. [4] Peter Suber. Nomic: A game of self-amendment. http://legacy.earlham. edu/~peters/writing/nomic.htm, 1982. [5] Jérôme Vouillon. Lwt: a cooperative thread library. 2008. 17