Ferreira, M., & 		Lopes, B.
2022 jul 31.  Integrating tools to reason about Reo circuits. Anais do Workshop Brasileiro de Lógica (WBL). [Online] :