Panawe Batanado, Frédéric Gervais, Marc Frappier, Régine Laleau. EB3TG : Un outil de génération de transactions de base de données relationnelle pour EB3.
Atelier Approches Formelles dans l'Assistance au Développement du Logiciel, Mar 2006, Paris, France. pp.3-7.
⟨hal-00145960⟩