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