Grillo, Erick, and Bruno Lopes.
"Compilação de Código Certificado para Modelos Reo." <em>Anais da III Escola Regional de Informática do Rio de Janeiro,
Niterói, 2019</em>. SBC, 2019,  
pp.29-32.