Aragão Junior, Belmondo. " From Formalization to Execution: EIDOS as an Active Learning Environment for Context-Free Grammars." Anais do XXXVII Simpósio Brasileiro de Informática na Educação, Goiânia/GO, 2026. SBC, 2026, pp.2613-2622.