Allombert,Victor;Borgouin,Mathias;Julian,Tesson(2019)."Introduction to the Tezos Blockchain".arXiv:1909.08458[cs.DC].
Bernardo,Bruno;Cauderlier,Raphaël;Hu,Zhenlei;Pesin,Basile;Tesson,Julien(18 September 2019)."Mi-Cho-Coq, a framework for certifying Tezos Smart Contracts".arXiv:1909.08671[cs.PL].
Harz,Dominik;Knottenbelt,William J.(2018)."Towards Safer Smart Contracts: A Survey of Languages and Verification Methods".arXiv:1809.09805[cs.CR].
Brown-Cohen,Jonah;Narayanan,Arvind;Psomas,Christos-Alexandros;Weinberg,S. Matthew(2018)."Formal Barriers to Longest-Chain Proof-of-Stake Protocols".arXiv:1809.06528[cs.CR].
Neuder,Michael;Moroz,Daniel J.;Rao,Rithvik;Parkes,David C.(2020-04-07)."Selfish Behavior in the Tezos Proof-of-Stake Protocol".arXiv:1912.02954[cs.CR].