Stevaux, R., & 		Melo, A.
(2023).
 A Formal Model for Startups Financial Transactions.
In <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, (pp. 3-19). Porto Alegre: SBC.