Dicionário enciclopédico da história de Portugal / coord. José Costa Pereira; colab. Armando de Castro... [et al.]