Grillo, E., & 		Lopes, B.
(2019).
Compilação de Código Certificado para Modelos Reo.
In <em>Anais da III Escola Regional de Informática do Rio de Janeiro</em>, (pp. 29-32). Porto Alegre: SBC.