Um estudo em unificação e desunificação módulo - Arshid, Mehwish (2020)
Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2020.