A. Cockburn, Agile Software Development: The Cooperative Game

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

M. Felleisen, R. B. Findler, and M. Flatt, Semantics Engineering with PLT Redex, 2009.

J. Van-heijenoort, From Frege to Gödel: A Source Book in Mathematical Logic, 1879- 1931, chap. Peano (1889) 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, 2002.

J. M. Jézéquel, O. Barais, and F. Fleurey, Summer School on Generative and Transformational Techniques in Software Engineering, Lecture Notes in Computer Science, vol.6491, p.chap

J. M. Jézéquel, B. Combemale, O. Barais, M. Monperrus, and F. Fouquet, Mashup of metalanguages and its implementation in the Kermeta language workbench, Software & Systems Modeling, vol.14, issue.2, p.905920, 2013.

C. Klein, J. Clements, C. Dimoulas, C. Eastlund, M. Felleisen et al., Run Your Research: On the Eectiveness of Lightweight Mechanization, Proc. Symp. Principles of Programming Languages

P. Klint, From Centaur to the Meta-Environment: a tribute to a great meta-technologist
DOI : 10.1017/CBO9780511770524.012

P. Klint, J. J. Vinju, and M. A. 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 J. Vinju, RASCAL: A Domain Specific Language for Source Code Analysis and Manipulation, 2009 Ninth IEEE International Working Conference on Source Code Analysis and Manipulation, p.168177, 2009.
DOI : 10.1109/SCAM.2009.28

D. E. Knuth, backus normal form vs. Backus Naur form, Communications of the ACM, vol.7, issue.12, p.735736, 1964.
DOI : 10.1145/355588.365140

D. P. Mulligan, S. Owens, K. E. Gray, T. Ridge, and P. Sewell, Lem: Reusable Engineering of Real-world Semantics, Proc. Int. Conf. Functional Programming. SIGPLAN Not, p.175188, 2014.

G. Ro³u and T. F. “erb-nuµ, An Overview of the K Semantic Framework, The Journal of Logic and Algebraic Programming, vol.79, issue.6, p.397434, 2010.

G. Ro³u and T. F. “erb-nuµ, K Overview and SIMPLE Case Study, Proc. Int. Work. K Framework and its Applications, p.356, 2011.

D. A. Schmidt, Programming language semantics, ACM Computing Surveys, vol.28, issue.1, 1996.
DOI : 10.1145/234313.234419

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-122, 2010.
DOI : 10.1007/BFb0035382

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

T. Van-der-storm and J. J. Vinju, Using the Meta-Environment for Domain Specic Language Engineering, Tech. Rep. SEN-R0805, CWI Software Engineering, 2008.

T. F. “erb-nuµ, A. Arusoaie, D. Lazar, C. Ellison, D. Lucanu et al., The K Primer (version 3.3), proc, p.5780, 2014.

L. Guernic, &. Galindo-47, and . Program, Stmt 49 endmodule 51 module GPFPL 53 imports GPFPL -SYNTAX 55 configuration 57 < prg color =" stmtColor " > $PGM :K </ prg > < automataKindDefs color =" automataColor " > 59 < automataKindDef color =" automataColor " multiplicity = "*" > < automataKind color =" automataColor " > .: String </ automataKind > 61 < initialState color

S. Bool, ). Stmt, and . .. =>, </k > 271 < nextInterrupts > IntL

=. .. Expval and >. .. , </ vars > 293 rule <k > set ( X: Id , V: ExpVal ), 289 rule <k > set 295 <vars > Rho : Map (. Map => X | -> .) </ vars > when notBool