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