R. Stevaux and A. Melo.
" A Formal Model for Startups Financial Transactions", in <em>Proceedings of the 26th Brazilian Symposium on Formal Methods</em>, Manaus/AM, 2023, pp. 3-19.