A Formal Model for Startups Financial Transactions. - Rodrigo Stevaux; Ana C. V. de Melo (SBMF, 2023)