@mastersthesis{mastersthesisc01bfbc4,
title   = {A formalization of a startup finance transaction model using Alloy},
author = {Stevaux, Rodrigo Ehrlich and Melo, Ana Cristina Vieira de},
year = {2023},
doi = {10.11606/D.45.2023.tde-05042024-151358},
school = {Universidade de São Paulo}
}