Stevaux, R., & 		Melo, A.
(2023).
 A Formal Model for Startups Financial Transactions.
<em>Proceedings Of The Brazilian Symposium On Formal Methods (SBMF), </em>, 3-19.
Retrieved from <a href="https://sol.sbc.org.br/index.php/sbmf/article/view/28033" target="_new">https://sol.sbc.org.br/index.php/sbmf/article/view/28033</a>