Stevaux, R., & 		Melo, A.
2023 Dec  4.  A Formal Model for Startups Financial Transactions. Proceedings of the Brazilian Symposium on Formal Methods (SBMF). [Online] :