Vlad Rusu, Dorel Lucanu, Traian-Florin Şerbănuţă, Andrei Arusoaie, Andrei Ştefănescu, et al.. Language Definitions as Rewrite Theories.
Journal of Logical and Algebraic Methods in Programming, Elsevier, 2016, 85 (1), pp.98--120.
⟨10.1016/j.jlamp.2015.09.001⟩.
⟨hal-01186005⟩