Dissertation
-João Jorge da Costa Vieira Ramires advised by João Jorge Ribeiro Soares Gonçalves de Araújo and David Martins de MatosBibliotecas de axiomáticas, conceitos e resultados para sistemas algébricos PhD Thesis on Universidade Aberta, work in progress, [bibTex]