J. W. Backus, The Syntax and Semantics of the Proposed International Algebraic Language of the Zurich ACM-GAMM Conference, Proc. Int. Conf. Information Processing, UNESCO, pp.125-132, 1959.

H. J. Basten, J. Van-den-bos, M. A. Hills, P. Klint, A. W. Lankamp et al., Modular language implementation in Rascal ??? experience report, Science of Computer Programming, vol.114, pp.7-19, 2015.
DOI : 10.1016/j.scico.2015.11.003
URL : https://hal.archives-ouvertes.fr/hal-01261480

F. Chalub, &. Christiano-braga-maude, and M. Tool, Maude MSOS Tool, Proc. Int. Work. Rewriting Logic and its Applications, pp.133-146, 2007.
DOI : 10.1016/j.entcs.2007.06.012
URL : http://doi.org/10.1016/j.entcs.2007.06.012

A. Cockburn, Agile Software Development: The Cooperative Game, 2007.

O. Dubuisson, ASN.1 ? Communication between Heterogeneous Systems. OSS Nokalva, 2000.

M. Felleisen, R. B. Findler, and &. Matthew-flatt, Semantics Engineering with PLT Redex, 2009.

M. Flatt and &. Plt, Reference: Racket. PLT-TR 2010-1, PLT Design Inc. https, 2010.

J. Van and H. , From Frege to Gödel: A Source Book in Mathematical Logic The principles of arithmetic, presented by a new method. Source Books in the History of the Sciences A translation and excerpt of Peano's 1889 paperArithmetices principia, nova methodo exposita, pp.1879-1931, 1889.

J. Jézéquel, O. Barais, and &. Fleurey, Model Driven Language Engineering with Kermeta, Lecture Notes in Computer Science, vol.6491, pp.201-22110, 2011.
DOI : 10.1007/978-3-642-18023-1_5

J. Jézéquel, O. Benoit-combemale, and . Barais, Mashup of metalanguages and its implementation in the Kermeta language workbench, Software & Systems Modeling, vol.30, issue.4, pp.905-920, 2013.
DOI : 10.1007/s10270-013-0354-4

C. Klein, J. Clements, C. Dimoulas, C. Eastlund, M. Felleisen et al., Run your research, Proc. Symp. Principles of Programming Languages, pp.285-296, 2012.
DOI : 10.1145/2103621.2103691

P. Klint, From Centaur to the Meta-Environment: a tribute to a great meta-technologist, From Semantics to Computer Science, Essays in Honour of Gilles Kahn, pp.235-264, 2009.
DOI : 10.1017/CBO9780511770524.012

P. Klint, J. J. Vinju, and &. M. Hills, RLSRunner: Linking Rascal with K for Program Analysis, Proc. Int. Conf. Software Language Engineering, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00644695

P. Klint, T. Van-der-storm, and &. Vinju, RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation, 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, pp.168-177, 2009.
DOI : 10.1109/SCAM.2009.28

E. Donald and . Knuth, Backus Normal Form vs. Backus Naur Form, Commun. ACM, vol.7, issue.12, pp.735-736, 1964.

G. Le-guernic, &. José, and A. Galindo, Industrial Experience Report on the Formal Specification of a Packet Filtering Language Using the K Framework, Electronic Proceedings in Theoretical Computer Science, vol.240, 2016.
DOI : 10.4204/EPTCS.240.3
URL : https://hal.archives-ouvertes.fr/hal-01401849

D. P. Mulligan, S. Owens, K. E. Gray, T. , and P. Sewell, Lem: Reusable Engineering of Real-world Semantics, Proc. Int. Conf. Functional Programming, SIGPLAN Not. 49, ACM, pp.175-188, 2014.

G. Ro¸suro¸su, &. Traian-florin¸serb?florin¸, and . Florin¸serb?, An overview of the K semantic framework, The Journal of Logic and Algebraic Programming, vol.79, issue.6, pp.397-434, 2010.
DOI : 10.1016/j.jlap.2010.03.012

G. Ro¸suro¸su, &. Traian-florin¸serb?florin¸, and . Florin¸serb?, K Overview and SIMPLE Case Study, Proc. Int Electronic Notes in Theoretical Computer Science 304, pp.3-56, 2011.

A. David and . Schmidt, Programming Language Semantics, ACM Computing Surveys, vol.28, issue.1, 1996.

P. Sewell, F. Z. Nardelli, S. Owens, G. Peskine, T. Ridge et al., Ott: Effective tool support for the working semanticist, Journal of Functional Programming, vol.8, issue.01, pp.71-12210, 2010.
DOI : 10.1007/BFb0035382

C. Shamieh, Continuous Engineering For Dummies ® . IBM Limited Edition, 2014.

T. Van-der-storm and &. J. Vinju, Using the Meta-Environment for Domain Specific Language Engineering, 2008.

T. Florin¸serb?florin¸-florin¸serb?-anu¸t?anu¸t?-a, A. Arusoaie, D. Lazar, and C. Ellison, The K Primer (version 3.3) Electronic Notes in Theoretical Computer Science 304, Proc. Int. Work. K Framework and its Applications, pp.57-80, 2011.