Stevaux, Rodrigo, and Ana C. V. de Melo.
" A Formal Model for Startups Financial Transactions." <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais,
Manaus/AM, 2023</em>. SBC, 2023,  
pp.3-19.