Torres, Mateus, and Bruno Lopes.
"Verificação de modelos com streams de dados sobre conectores Reo." <em>Anais do I Workshop Brasileiro de Lógica,
Evento Online, 2020</em>. SBC, 2020,  
pp.9-16.