https://www.cal.iel.unicamp.br/?p=2422
ManuIEL 2024