[. Bergel, D. Cassou, S. Ducasse, and J. Laval, Petitparser: Building modular parsers, Deep into Pharo, chapter 18, pp.377-411, 2013.

A. Bdlf-+-16-]-karthikeyan-bhargavan, C. Delignat-lavaud, A. Fournet, G. Gollamudi, N. Gonthier et al., Thomas Sibut-Pinote, Nikhil Swamy, and Santiago Zanella-Béguelin. Formal verification of smart contracts: Short paper, 2016 ACM Workshop on Programming Languages and Analysis for Security, PLAS '16, pp.91-96, 2016.

[. Brant, J. Lecerf, T. Goubier, and S. Ducasse, Smacc: a compiler-compiler, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01612820

K. Delmolino, M. Arnett, A. Kosba, A. Miller, and E. Shi, Step by Step Towards Creating a Safe Smart Contract: Lessons and Insights from a Cryptocurrency Lab, Cryptology ePrint Archive, vol.460460, 2015.
DOI : 10.1145/2810103.2813713

[. Delmolino, M. Arnett, A. Kosba, and A. Miller, A programmer's guide to ethereum and serpent, 2015.

[. Dziembowski, Introduction to Cryptocurrencies, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, CCS '15, pp.1700-1701, 2015.
DOI : 10.1007/978-3-662-44381-1_24

A. Hari and T. V. Lakshman, The Internet Blockchain, Proceedings of the 15th ACM Workshop on Hot Topics in Networks, HotNets '16, pp.204-210, 2016.
DOI : 10.1145/279227.279229

C. Andrew and . Myers, Finding counterexamples from parsing conflicts, 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI '15, pp.555-564, 2015.

. Lco-+-16-]-loi, D. Luu, H. Chu, and . Olickel, Prateek Saxena, and Aquinas Hobor Making smart contracts smarter, 2016 ACM SIGSAC Conference on Computer and Communications Security, CCS '16, pp.254-269, 2016.

[. Leiding, P. Memarmoshrefi, and D. Hogrefe, Self-managed and blockchain-based vehicular ad-hoc networks, Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing Adjunct, UbiComp '16, pp.137-140, 2016.
DOI : 10.1145/2968219.2971409

L. Luu, J. Teutsch, R. Kulkarni, and P. Saxena, Demystifying Incentives in the Consensus Computer, Proceedings of the 22nd ACM SIGSAC Conference on Computer and Communications Security, CCS '15, pp.706-719, 2015.
DOI : 10.1007/978-3-662-46803-6_10

G. Merrill, Parsing non-lr(k) grammars with yacc. Software Practice and Experience, pp.829-850, 1993.
DOI : 10.1002/spe.4380230803

A. Mills, Antlr tutorial, 2005.

S. Nakamoto, Bitcoin: A peer-to-peer electronic cash system, 2009.

[. Passos, A. S. Mariza, R. S. Bigonha, and . Bigonha, A methodology for removing lalr(k) conflicts, Journal of Universal Computer Science, vol.13, issue.6, pp.737-752, 2007.