M. Ferreira and B. Lopes.
" Integrating tools to reason about Reo circuits", in <em>Proceedings of the 3rd Brazilian Workshop of Logic</em>, Niterói, 2022, pp. 17-24, doi: <a href="https://doi.org/10.5753/wbl.2022.222914">https://doi.org/10.5753/wbl.2022.222914</a>.