Rumo à unificação nominal AC - Silva, Gabriel Ferreira (2024)
Tese (Doutorado) — Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2024.