GRILLO, Erick; LOPES, Bruno. Compilação de Código Certificado para Modelos Reo. In: ESCOLA REGIONAL DE INFORMÁTICA DO RIO DE JANEIRO (ERI-RJ), 3. , 2019, Niterói. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2019 . p. 29-32.